A specification-based approach to testing software product lines.
Engin UzuncaovaDaniel GarciaSarfraz KhurshidDon S. BatoryPublished in: ESEC/SIGSOFT FSE (2007)
Keyphrases
- software product line
- test suite
- product line
- test case generation
- goal driven
- software engineering
- future directions
- formal verification
- learning methodologies
- test cases
- adult literacy
- life cycle
- software testing
- software development
- petri net
- test set
- lessons learned
- specification language
- virtual environment
- teaching learning
- decision making