Strategies for product-line verification: case studies and experiments.
Sven ApelAlexander von RheinPhilipp WendlerArmin GrößlingerDirk BeyerPublished in: ICSE (2013)
Keyphrases
- product line
- case study
- product lines
- software product line
- software development
- software engineering
- lessons learned
- software architecture
- real world
- development process
- model checking
- open source
- information systems
- data sets
- knowledge management
- future directions
- formal methods
- formal verification
- decision making
- functional verification