Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code.
Christian KröherMoritz FlöterLea GerlingKlaus SchmidPublished in: Software Engineering (2023)
Keyphrases
- software product line
- aspect oriented programming
- product line
- software engineering
- future directions
- life cycle
- incremental learning
- model checking
- software development
- symbolic execution
- source code
- product lines
- incremental version
- aspect oriented
- quality attributes
- static analysis
- lessons learned
- verification method
- data driven
- neural network
- incremental clustering
- functional verification
- asynchronous circuits
- formal methods
- software architecture
- software systems
- decision trees
- e learning
- artificial intelligence