Integration Testing of Software Product Lines Using Compositional Symbolic Execution.
Jiangfan ShiMyra B. CohenMatthew B. DwyerPublished in: FASE (2012)
Keyphrases
- integration testing
- symbolic execution
- software product line
- software testing
- test data generation
- test generation
- software development
- test cases
- software engineering
- test suite
- static analysis
- product line
- black box
- goal driven
- component based software
- future directions
- life cycle
- software systems
- learning methodologies
- specification language
- development process
- adult literacy
- quality assurance
- source code
- software architecture
- artificial intelligence
- databases
- data sets
- database
- decision trees
- web services
- information systems