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