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 |
|
|