Incremental software product line verification - A performance analysis with dead variable code.
Christian KröherMoritz FlöterLea GerlingKlaus SchmidPublished in: Empir. Softw. Eng. (2022)
Keyphrases
- software product line
- aspect oriented programming
- product line
- software engineering
- future directions
- life cycle
- software development
- source code
- model checking
- aspect oriented
- test suite
- verification method
- incremental learning
- symbolic execution
- incremental version
- byte code
- functional verification
- database
- java programs
- signature verification
- development process
- information technology
- multi agent systems
- information systems
- artificial intelligence
- machine learning