ToolCategoryGeneratorProgramming LanguageRelated Tools
"Aspect Composition Validation" tool Static Analysis AOP
ABS Product Generation, Development Environment DOP ABS
AHEAD Feature Modeling, Configuration, Product Generation FOP Java FeatureIDE
AJDT Development Environment AOP Java
ajdtstats Code Metrics AOP Java
AJStats Code Metrics AOP Java
Antenna Product Generation Preprocessor Java FeatureIDE
AOP-Migrator Feature-Oriented Decomposition AOP Java
Asadal Testing
aspectc Product Generation AOP C
AspectC++ Product Generation AOP C++
AspectJ Product Generation AOP Java FeatureIDE
AspectSharp Product Generation AOP .NET
CaesarJ Product Generation AOP Java
Captain Feature Feature Modeling, Consistency Checking, Configuration
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 Non-Functional Properties
cnife Variant-Preserving Refactoring Preprocessor, FOP C, C++ CPP, FeatureC++
Colligens Feature Modeling, Configuration, Development Environment, Code Metrics Preprocessor C CPP, TypeChef, FeatureIDE
CPA/Tiger Testing Preprocessor C CPAchecker
CPAchecker Static Analysis Preprocessor C
CPArec Static Analysis Preprocessor C CPAchecker
CPP Product Generation Preprocessor C, C++ FeatureIDE, Colligens, TypeChef
cppstats Code Metrics Preprocessor C CPP
DeltaEcore Product Generation, Development Environment, Feature Modeling, Configuration DOP Ecore, Java, UML, Yakindu FeatureIDE
DeltaJ Feature Modeling, Configuration, Product Generation, Type Checking DOP Java FeatureIDE
DOPLER Feature Modeling, Consistency Checking, Configuration Java
EASyProducer Feature Modeling, Configuration, Product Generation, Multi Product Line Preprocessor
ELIDE Product Generation Preprocessor Java
Emergo Static Analysis, Development Environment Preprocessor
ext-refactoring Variant-Preserving Refactoring DOP Java
ExtractorPL Feature-Oriented Decomposition FOP FeatureHouse
FaMa Feature Modeling, Consistency Checking, Configuration Java
Feature Commander Development Environment Preprocessor
feature-gen Product Generation Framework, Load Time Variability Java FeatureIDE
FeatureBite Product Generation FOP Java
FeatureC++ Product Generation FOP, AOP C++ FeatureIDE
FeatureHouse Product Generation, Non-Functional Properties FOP Java, C, C#, JML, Haskell, XML, Python, Alloy, Featherweight Java, JML, JCop, Stratego, SDF, JavaCC 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 Product Generation, Code Metrics FOP, Preprocessor JavaScript, HTML FeatureIDE
FeatureMapper Feature Modeling, Consistency Checking, Configuration Java pure::variants
FeatureTweezer Type Checking FOP Java, C FeatureHouse
FeatureVisu Development Environment
FLiPEx Feature-Oriented Decomposition AOP Java
FMT Feature Modeling, Consistency Checking, Configuration
FTS Model Checking
FTS-Testing Testing Preprocessor Featured Transition System
Fuji Product Generation, Type Checking FOP Java FeatureIDE
Gears Feature Modeling, Consistency Checking, Configuration, Product Generation, Development Environment Preprocessor
Generative Aspect-oriented Testing framEwork (GATE) Testing AOP AHEAD
GeneticTestCaseGeneration Sampling
golem Static Analysis Preprocessor C Undertaker
Hephaestus Consistency Checking, Configuration
Hydra Feature Modeling, Consistency Checking, Configuration Java
IMoTEP Testing DOP
Invar Consistency Checking, Configuration
javapp Product Generation Preprocessor Java
JPF-BDD Model Checking Java
Kesit Testing FOP Java AHEAD
Kumbang Feature Modeling, Consistency Checking, Configuration Java
LEADT Feature-Oriented Decomposition VSoC Java CIDE
Linux Feature Explorer Consistency Checking Preprocessor Undertaker
Lotrack Debugging Load Time Variability Java, Android
Metadoc FM Feature Modeling, Consistency Checking, Configuration
Mobile Application Test Environment (MATE) Testing
Morpheus Variant-Preserving Refactoring Preprocessor C
MoSo-PoLiTe Sampling FOP pure::variants, SharQ framework
Munge Product Generation Preprocessor Java FeatureIDE
Otter Testing C
Pacogen Sampling
ParTeG Testing Java
PLEDGE Sampling
ProFeat Feature Modeling, Model Checking, Probabilistic Systems
ProVeLines Model Checking Preprocessor, FOP Featured Transition System
pure::variants Feature Modeling, Consistency Checking, Configuration, Product Generation, Development Environment Preprocessor
rbFeatures Product Generation FOP Ruby
S2T2 Feature Modeling, Consistency Checking, Configuration Java
shared-execution Testing Java
SharQ framework Testing FOP FeatureHouse, FeatureIDE, CIDE, FeatureC++
Software Variant Generation System Model Checking, Type Checking
SPLCATool Sampling FeatureIDE
SPLConfig Configuration FeatureIDE
SPLConqueror Feature Modeling, Configuration, Non-Functional Properties
SPLLIFT Static Analysis VSoC Java
splmonitor Testing FOP Java
SPLOT Feature Modeling, Consistency Checking, Configuration Java
SPLTester Testing
SPLverifier Testing, Model Checking FOP Java, C FeatureHouse
Spoon Product Generation Preprocessor Java
TypeChef Type Checking Preprocessor C FeatureIDE, Colligens
Undertaker Consistency Checking, Sampling Preprocessor
VAmPiRE Variant-Preserving Refactoring FOP Java FeatureIDE, FeatureHouse, Fuji
vampyr Static Analysis Preprocessor C Undertaker
Varex Testing Load Time Variability PHP
VarexC Testing Load Time Variability Java VarexJ
VarexJ Testing, Model Checking Load-Time Variability Java JavaPathfinder, VarexC, Varviz, VarXplorer
Variability-Aware Interpreter Testing Load Time Variability WHILE
VariaMos Feature Modeling, Consistency Checking, Configuration
VARMOD Feature Modeling, Consistency Checking
Varviz Debugging Load Time Variability Java VarexJ, VarXplorer
VarXplorer Debugging Load Time Variability Java VarexJ, Varviz
View Infinity Development Environment
VMC Model Checking Preprocessor Modal Transition System
WeCoTin Feature Modeling, Consistency Checking, Configuration
XFeature Feature Modeling, Consistency Checking, Configuration, Product Generation Java
XVCL Product Generation Preprocessor
Showing 1 to 106 of 106 entries
PreviousNext