Metop Research Institute

SPL2go is a catalog of software product lines for which domain implementation (i.e., source code) and variability model (e.g, feature model) are publicly available. Such product lines are needed when evaluationg product-line analyses such as testing, type checking, static analyses, model checking, or theorem proving. SPL2go helps you to find case studies for particular needs by providing statistics for all product lines.

Name Generator Language Features LOC Classes Products Date
Chat Application ArchStudio (with xLineMapper) Java 8 2000 30 2017-07-20
FeatureAMP FeatureHouse Java 20 2015-03-18
DiGraph FeatureHouse Java, JML 2013-04-24
ExamDB FeatureHouse Java, JML 2013-04-24
Paycard FeatureHouse Java, JML 2013-04-24
BankAccount v2 FeatureHouse Java, JML 8 0 3 72 2013-04-22
GPL FeatureHouse Java, JML 38 16 840 2013-03-26
Elevator JML FeatureHouse Java, JML 6 20 2013-03-24
Email JML FeatureHouse Java, JML 9 1233 3 40 2013-03-24
NumbersSPL FeatureHouse Java, JML 2 1 2 2012-10-01
PokerSPL FeatureHouse Java, JML 11 8 28 2012-10-01
IntegerSetSPL FeatureHouse Java, JML 3 1 2 2012-10-01
UnionFindSPL FeatureHouse Java, JML 10 4 6 2012-10-01
AHEAD_Tool_Suite CIDE ANT (XML), HTML 14 2012-08-12
Berkeley_DB_Java_Edition CIDE Java, HTML 42 2012-08-12
Berkeley_DB_Documentation CIDE Java, HTML 42 2012-08-12
FAME_DBMS CIDE C++ 14 5000 15 2012-08-12
Graph_Product_Line CIDE Jak, HTML 18 1350 16 2012-08-12
Arithmetic_Expression_Evaluator CIDE Haskell 25 460 2012-08-12
Functional_Graph_Library CIDE CIDE 18 2600 32 2012-08-12
Lampiro CIDE JAVA ME 11 45000 2012-08-12
Mobile_Media CIDE JAVA ME 14 5700 2012-08-12
Mobile_RSS_Reader CIDE JAVA ME 14 20000 54 2012-08-12
Prevayler CIDE Java 5 80000 141 2012-08-12
Pynche CIDE Python 12 2400 13 2012-08-12
SQL_Parser CIDE ANTLR 4 60 1 2012-08-12
BankAccount FeatureHouse Java, JML 6 2 24 2012-07-09
MinePump_C FeatureHouse C 7 279 64 2012-06-05
EmailSystem_C FeatureHouse C 9 258 40 2012-06-05
Elevator_C FeatureHouse C 6 877 20 2012-06-05
MinePump_Java FeatureHouse Java, AspectJ 7 580 2 64 2012-06-04
Elevator_Java FeatureHouse Java, AspectJ 6 1046 5 20 2012-06-04
EmailSystem_Java FeatureHouse Java, AspectJ 9 1233 3 40 2012-06-04
Prop4J FeatureHouse Java 17 2051 6 31 2012-05-24
DesktopSearcher AHEAD Java 22 3779 14 462 2012-05-24
TankWar AHEAD Java 37 5578 19 6582 2012-05-24
BattleOfTanks Antenna Java 144 1975 11 2206 2012-05-24
NetBot FeatureHouse C# 6 1579 17 4 2012-05-24
Chat_HyperJ HyperJ Java 7 758 18 2 2012-05-24
Vistex FeatureHouse Java 16 2405 7 674 2012-05-24

Please upload your own product lines that are already publicly available or consider to publish your product lines to support software-product-line research!