Incremental software product line verification: a performance analysis with dead variable code.
Christian KröherMoritz FlöterLea GerlingKlaus SchmidPublished in: SPLC (A) (2022)
Keyphrases
- software product line
- aspect oriented programming
- product line
- software engineering
- future directions
- software development
- life cycle
- product lines
- aspect oriented
- model checking
- incremental learning
- quality attributes
- formal verification
- asynchronous circuits
- face verification
- symbolic execution
- source code
- incremental clustering
- byte code
- static analysis
- code generation
- formal methods
- data sets
- test suite
- lessons learned
- object oriented
- artificial intelligence
- machine learning