Delta-based verification of software product families.
Marco ScalettaReiner HähnleDominic SteinhöfelRichard BubelPublished in: GPCE (2021)
Keyphrases
- software systems
- software development
- formal methods
- software package
- user interface
- formal verification
- software design
- software maintenance
- model checking
- source code
- hardware designs
- software architecture
- website
- neural network
- expert systems
- software projects
- software tools
- metadata
- information systems
- genetic algorithm
- real world
- software application
- commercial software
- databases