Specification-Based Testing for Software Product Lines.
Temesghen KahsaiMarkus RoggenbachBernd-Holger SchlingloffPublished in: SEFM (2008)
Keyphrases
- software product line
- test suite
- test case generation
- product line
- goal driven
- software engineering
- learning methodologies
- formal verification
- life cycle
- future directions
- software testing
- adult literacy
- test cases
- test set
- multimedia
- product lines
- software development
- object oriented
- active learning
- relational databases
- information technology
- artificial intelligence
- machine learning