| ABS |
http://www.abs-models.com/ |
ABS
|
Product Generation, Development Environment |
DOP |
ABS |
|
| "Aspect Composition Validation" tool |
|
"Aspect Composition Validation" tool
|
Static Analysis |
AOP |
|
|
| AHEAD |
http://www.cs.utexas.edu/users/schwartz/ATS.html |
AHEAD
|
Feature Modeling, Configuration, Product Generation |
FOP |
Java |
FeatureIDE |
| AJDT |
http://eclipse.org/ajdt/ |
AJDT
|
Development Environment |
AOP |
Java |
|
| ajdtstats |
http://wwwiti.cs.uni-magdeburg.de/iti_db/forschung/ajdtstats/ |
ajdtstats
|
Code Metrics |
AOP |
Java |
|
| AJStats |
http://wwwiti.cs.uni-magdeburg.de/iti_db/forschung/ajstats/ |
AJStats
|
Code Metrics |
AOP |
Java |
|
| Antenna |
http://antenna.sourceforge.net |
Antenna
|
Product Generation |
Preprocessor |
Java |
FeatureIDE |
| AOP-Migrator |
http://selab.fbk.eu/ceccato/aop-migrator/ |
AOP-Migrator
|
Feature-Oriented Decomposition |
AOP |
Java |
|
| Asadal |
http://selab.postech.ac.kr/asadal/content.html |
Asadal
|
Testing |
|
|
|
| aspectc |
https://sites.google.com/a/gapp.msrg.utoronto.ca/aspectc |
aspectc
|
Product Generation |
AOP |
C |
|
| AspectC++ |
http://aspectc.org |
AspectC++
|
Product Generation |
AOP |
C++ |
|
| AspectJ |
http://eclipse.org/aspectj |
AspectJ
|
Product Generation |
AOP |
Java |
FeatureIDE |
| AspectSharp |
http://sourceforge.net/projects/aspectsharp |
AspectSharp
|
Product Generation |
AOP |
.NET |
|
| CaesarJ |
http://www.caesarj.org/ |
CaesarJ
|
Product Generation |
AOP |
Java |
|
| Captain Feature |
http://captainfeature.sourceforge.net |
Captain Feature
|
Feature Modeling, Consistency Checking, Configuration |
|
|
|
| CIDE |
http://fosd.net/cide |
CIDE
|
Feature Modeling, Configuration, Product Generation, Feature-Oriented Decomposition, Development Environment, Type Checking, Code Metrics |
VSoC |
Featherweight Java, Java, C, C#, JavaScript, Haskell, Bali, ANTLR, JavaCC, Properties, HTML, XML, XHTML, XML-People, Python, OSGi Manifest |
FeatureIDE, pure::variants |
| ClaferMOO |
https://github.com/gsdlab/claferMooStandalone |
ClaferMOO
|
Non-Functional Properties |
|
|
|
| cnife |
http://fosd.net/cnife |
cnife
|
Variant-Preserving Refactoring |
Preprocessor, FOP |
C, C++ |
CPP, FeatureC++ |
| Colligens |
https://sites.google.com/a/ic.ufal.br/colligens/home |
Colligens
|
Feature Modeling, Configuration, Development Environment, Code Metrics |
Preprocessor |
C |
CPP, TypeChef, FeatureIDE |
| CPAchecker |
http://cpachecker.sosy-lab.org/index.php |
CPAchecker
|
Static Analysis |
Preprocessor |
C |
|
| CPArec |
https://github.com/fmlab-iis/cparec |
CPArec
|
Static Analysis |
Preprocessor |
C |
CPAchecker |
| CPA/Tiger |
http://forsyte.at/software/cpatiger/ |
CPA/Tiger
|
Testing |
Preprocessor |
C |
CPAchecker |
| CPP |
http://en.wikipedia.org/wiki/C_preprocessor |
CPP
|
Product Generation |
Preprocessor |
C, C++ |
FeatureIDE, Colligens, TypeChef |
| cppstats |
http://fosd.net/cppstats |
cppstats
|
Code Metrics |
Preprocessor |
C |
CPP |
| DeltaEcore |
http://deltaecore.org |
DeltaEcore
|
Product Generation, Development Environment, Feature Modeling, Configuration |
DOP |
Ecore, Java, UML, Yakindu |
FeatureIDE |
| DeltaJ |
http://deltaj.sourceforge.net |
DeltaJ
|
Feature Modeling, Configuration, Product Generation, Type Checking |
DOP |
Java |
FeatureIDE |
| DOPLER |
http://ase.jku.at/dopler |
DOPLER
|
Feature Modeling, Consistency Checking, Configuration |
|
Java |
|
| EASyProducer |
http://sse.uni-hildesheim.de/en/fb4/institutes/ifi/software-systems-engineering-sse/research/projects/easy-producer-flexible-generation-of-software-product-lines/ |
EASyProducer
|
Feature Modeling, Configuration, Product Generation, Multi Product Line |
Preprocessor |
|
|
| ELIDE |
http://www.cs.ubc.ca/labs/spl/projects/elide |
ELIDE
|
Product Generation |
Preprocessor |
Java |
|
| Emergo |
http://twiki.cin.ufpe.br/twiki/bin/view/SPG/Emergo |
Emergo
|
Static Analysis, Development Environment |
Preprocessor |
|
|
| ExtractorPL |
http://pagesperso-systeme.lip6.fr/Tewfik.Ziadi/sac14/ |
ExtractorPL
|
Feature-Oriented Decomposition |
FOP |
|
FeatureHouse |
| ext-refactoring |
https://redmine.isf.cs.tu-bs.de/projects/deltaj_ext-refactoring |
ext-refactoring
|
Variant-Preserving Refactoring |
DOP |
Java |
|
| FaMa |
|
FaMa
|
Feature Modeling, Consistency Checking, Configuration |
|
Java |
|
| Feature Commander |
http://www.infosun.fim.uni-passau.de/spl/janet/xenomai/ |
Feature Commander
|
Development Environment |
Preprocessor |
|
|
| FeatureBite |
http://fosd.net/featurebite |
FeatureBite
|
Product Generation |
FOP |
Java |
|
| FeatureC++ |
http://fosd.net/fcc |
FeatureC++
|
Product Generation |
FOP, AOP |
C++ |
FeatureIDE |
| feature-gen |
https://github.com/nils-christian/feature-gen |
feature-gen
|
Product Generation |
Framework, Load Time Variability |
Java |
FeatureIDE |
| FeatureHouse |
http://fosd.net/fh |
FeatureHouse
|
Product Generation, Non-Functional Properties |
FOP |
Java, C, C#, JML, Haskell, XML, Python, Alloy, Featherweight Java, JML, JCop, Stratego, SDF, JavaCC |
FeatureIDE |
| FeatureIDE |
http://wwwiti.cs.uni-magdeburg.de/iti_db/research/featureide/ |
FeatureIDE
|
Feature Modeling, Configuration, Consistency Checking, Theorem Proving, Code Metrics, Development Environment, Multi Product Line, Testing |
Preprocessor, FOP, AOP, DOP |
Java, C, C++, C#, JML, Haskell, XML, Python, Alloy, Featherweight Java, JML, JCop, Stratego, SDF, JavaCC |
CPP, Antenna, Munge, AHEAD, FeatureC++, FeatureHouse, DeltaJ, AspectJ, SPLCATool, TypeChef, Colligens |
| FeatureJS |
http://gda.reconcavo.org.br/gda_repository/pesquisas/pos/ |
FeatureJS
|
Product Generation, Code Metrics |
FOP, Preprocessor |
JavaScript, HTML |
FeatureIDE |
| FeatureMapper |
http://featuremapper.org/ |
FeatureMapper
|
Feature Modeling, Consistency Checking, Configuration |
|
Java |
pure::variants |
| FeatureTweezer |
http://fosd.net/FT |
FeatureTweezer
|
Type Checking |
FOP |
Java, C |
FeatureHouse |
| FeatureVisu |
http://fosd.net/FeatureVisu |
FeatureVisu
|
Development Environment |
|
|
|
| FLiPEx |
http://flip.cesar.org.br/ |
FLiPEx
|
Feature-Oriented Decomposition |
AOP |
Java |
|
| FMT |
http://giro.infor.uva.es/FeatureTool.html |
FMT
|
Feature Modeling, Consistency Checking, Configuration |
|
|
|
| FTS |
https://projects.info.unamur.be/fts/ |
FTS
|
Model Checking |
|
|
|
| FTS-Testing |
https://staff.info.unamur.be/xde/fts-testing/ |
FTS-Testing
|
Testing |
Preprocessor |
Featured Transition System |
|
| Fuji |
http://fosd.net/fuji |
Fuji
|
Product Generation, Type Checking |
FOP |
Java |
FeatureIDE |
| Gears |
http://www.biglever.com/solution/product.html |
Gears
|
Feature Modeling, Consistency Checking, Configuration, Product Generation, Development Environment |
Preprocessor |
|
|
| Generative Aspect-oriented Testing framEwork (GATE) |
|
Generative Aspect-oriented Testing framEwork (GATE)
|
Testing |
AOP |
|
AHEAD |
| GeneticTestCaseGeneration |
http://ebagheri.athabascau.ca/splt/ |
GeneticTestCaseGeneration
|
Sampling |
|
|
|
| golem |
http://vamos.informatik.uni-erlangen.de/trac/undertaker/wiki/UndertakerRelease1.6 |
golem
|
Static Analysis |
Preprocessor |
C |
Undertaker |
| Hephaestus |
http://twiki.cin.ufpe.br/twiki/bin/view/SPG/HephaestusTool |
Hephaestus
|
Consistency Checking, Configuration |
|
|
|
| Hydra |
http://caosd.lcc.uma.es/spl/hydra |
Hydra
|
Feature Modeling, Consistency Checking, Configuration |
|
Java |
|
| IMoTEP |
|
IMoTEP
|
Testing |
DOP |
|
|
| Invar |
http://invar.lero.ie |
Invar
|
Consistency Checking, Configuration |
|
|
|
| javapp |
http://git.slashdev.ca/javapp |
javapp
|
Product Generation |
Preprocessor |
Java |
|
| JPF-BDD |
https://bitbucket.org/rhein/jpf-bdd/wiki/Home |
JPF-BDD
|
Model Checking |
|
Java |
|
| Kesit |
ftp://ftp.cs.utexas.edu/.snapshot/hourly.4/pub/predator/ISSRE08.pdf |
Kesit
|
Testing |
FOP |
Java |
AHEAD |
| Kumbang |
http://www.soberit.hut.fi/KumbangTools |
Kumbang
|
Feature Modeling, Consistency Checking, Configuration |
|
Java |
|
| LEADT |
http://www.informatik.uni-marburg.de/~kaestner/leadt/ |
LEADT
|
Feature-Oriented Decomposition |
VSoC |
Java |
CIDE |
| Linux Feature Explorer |
https://www4.cs.fau.de/Research/VAMOS/ |
Linux Feature Explorer
|
Consistency Checking |
Preprocessor |
|
Undertaker |
| Lotrack |
https://github.com/MaxLillack/Lotrack |
Lotrack
|
Debugging |
Load Time Variability |
Java, Android |
|
| Metadoc FM |
http://www.metadoc.de |
Metadoc FM
|
Feature Modeling, Consistency Checking, Configuration |
|
|
|
| Mobile Application Test Environment (MATE) |
|
Mobile Application Test Environment (MATE)
|
Testing |
|
|
|
| Morpheus |
http://www.infosun.fim.uni-passau.de/spl/projects/morpheus/ |
Morpheus
|
Variant-Preserving Refactoring |
Preprocessor |
C |
|
| MoSo-PoLiTe |
http://www.sharq.tu-darmstadt.de/projects/mosopolite/index.en.jsp |
MoSo-PoLiTe
|
Sampling |
FOP |
|
pure::variants, SharQ framework |
| Munge |
http://sonatype.github.io/munge-maven-plugin |
Munge
|
Product Generation |
Preprocessor |
Java |
FeatureIDE |
| Otter |
https://bitbucket.org/khooyp/otter |
Otter
|
Testing |
|
C |
|
| Pacogen |
http://people.rennes.inria.fr/Arnaud.Gotlieb/resources/Pacogen/Pacogen.html |
Pacogen
|
Sampling |
|
|
|
| ParTeG |
http://parteg.sourceforge.net/ |
ParTeG
|
Testing |
|
Java |
|
| PLEDGE |
http://research.henard.net/SPL/PLEDGE/ |
PLEDGE
|
Sampling |
|
|
|
| ProFeat |
https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/ProFeat/ |
ProFeat
|
Feature Modeling, Model Checking, Probabilistic Systems |
|
|
|
| ProVeLines |
https://projects.info.unamur.be/fts/provelines/ |
ProVeLines
|
Model Checking |
Preprocessor, FOP |
Featured Transition System |
|
| pure::variants |
http://www.pure-systems.com/pure_variants.49.0.html |
pure::variants
|
Feature Modeling, Consistency Checking, Configuration, Product Generation, Development Environment |
Preprocessor |
|
|
| rbFeatures |
http://sebastianguenther.org/blog/2012-02-05-rbfeatures_feature_oriented_programming_in_ruby.html |
rbFeatures
|
Product Generation |
FOP |
Ruby |
|
| S2T2 |
http://download.lero.ie/spl/s2t2/ |
S2T2
|
Feature Modeling, Consistency Checking, Configuration |
|
Java |
|
| shared-execution |
http://www.cs.utexas.edu/~chpkim/sharedexecution/ |
shared-execution
|
Testing |
|
Java |
|
| SharQ framework |
http://www.sharq.tu-darmstadt.de/projects/index.en.jsp |
SharQ framework
|
Testing |
FOP |
|
FeatureHouse, FeatureIDE, CIDE, FeatureC++ |
| SPLCATool |
http://heim.ifi.uio.no/martifag/splcatool |
SPLCATool
|
Sampling |
|
|
FeatureIDE |
| SPLConfig |
http://sourceforge.net/projects/splconfig/ |
SPLConfig
|
Configuration |
|
|
FeatureIDE |
| SPLConqueror |
http://fosd.de/SPLConqueror |
SPLConqueror
|
Feature Modeling, Configuration, Non-Functional Properties |
|
|
|
| SPLLIFT |
http://secure-software-engineering.github.io/SPLlift/ |
SPLLIFT
|
Static Analysis |
VSoC |
Java |
|
| splmonitor |
http://www.cs.utexas.edu/~chpkim/splmonitoring |
splmonitor
|
Testing |
FOP |
Java |
|
| SPLOT |
http://www.splot-research.org |
SPLOT
|
Feature Modeling, Consistency Checking, Configuration |
|
Java |
|
| SPLTester |
|
SPLTester
|
Testing |
|
|
|
| SPLverifier |
http://fosd.net/FAV |
SPLverifier
|
Testing, Model Checking |
FOP |
Java, C |
FeatureHouse |
| Spoon |
http://spoon.gforge.inria.fr/ |
Spoon
|
Product Generation |
Preprocessor |
Java |
|
| Software Variant Generation System |
|
Software Variant Generation System
|
Model Checking, Type Checking |
|
|
|
| TypeChef |
http://ckaestne.github.io/TypeChef |
TypeChef
|
Type Checking |
Preprocessor |
C |
FeatureIDE, Colligens |
| Undertaker |
http://vamos.informatik.uni-erlangen.de/trac/undertaker |
Undertaker
|
Consistency Checking, Sampling |
Preprocessor |
|
|
| Varex |
http://home.engineering.iastate.edu/~hungnv/Research/Varex/ |
Varex
|
Testing |
Load Time Variability |
PHP |
|
| VarexJ |
https://github.com/meinicke/VarexJ |
VarexJ
|
Testing, Model Checking |
Load-Time Variability |
Java |
JavaPathfinder, VarexC, Varviz, VarXplorer |
| VarexC |
https://github.com/ckaestne/vbc |
VarexC
|
Testing |
Load Time Variability |
Java |
VarexJ |
| Variability-Aware Interpreter |
https://github.com/puschj/Variability-Aware-Interpreter |
Variability-Aware Interpreter
|
Testing |
Load Time Variability |
WHILE |
|
| VAmPiRE |
https://www.tu-braunschweig.de/isf/research/vampire/index.html;jsessionid=TRIFORK159448174633 |
VAmPiRE
|
Variant-Preserving Refactoring |
FOP |
Java |
FeatureIDE, FeatureHouse, Fuji |
| vampyr |
http://vamos.informatik.uni-erlangen.de/trac/undertaker/wiki/UndertakerRelease1.6 |
vampyr
|
Static Analysis |
Preprocessor |
C |
Undertaker |
| VariaMos |
http://variamos.com/home/ |
VariaMos
|
Feature Modeling, Consistency Checking, Configuration |
|
|
|
| VARMOD |
http://www.software-productline.com/SEGOS-VM-Tool/ |
VARMOD
|
Feature Modeling, Consistency Checking |
|
|
|
| Varviz |
https://meinicke.github.io/varviz/ |
Varviz
|
Debugging |
Load Time Variability |
Java |
VarexJ, VarXplorer |
| VarXplorer |
https://github.com/larirsoares/VarXplorer |
VarXplorer
|
Debugging |
Load Time Variability |
Java |
VarexJ, Varviz |
| View Infinity |
http://fosd.net/vi |
View Infinity
|
Development Environment |
|
|
|
| VMC |
http://fmtlab.isti.cnr.it/vmc/ |
VMC
|
Model Checking |
Preprocessor |
Modal Transition System |
|
| WeCoTin |
http://www.soberit.hut.fi/WeCoTin |
WeCoTin
|
Feature Modeling, Consistency Checking, Configuration |
|
|
|
| XFeature |
http://www.pnp-software.com/XFeature |
XFeature
|
Feature Modeling, Consistency Checking, Configuration, Product Generation |
|
Java |
|
| XVCL |
http://xvcl.comp.nus.edu.sg/cms |
XVCL
|
Product Generation |
Preprocessor |
|
|