Exploiting hardware advances for software testing and debugging.
Mary Lou SoffaKristen R. WalcottJason MarsPublished in: ICSE (2011)
Keyphrases
- software testing
- test cases
- fault localization
- software development
- software engineering
- software systems
- quality assurance
- control flow
- software reliability
- test case generation
- test data generation
- regression testing
- white box testing
- test generation
- test suite
- artificial intelligence
- integration testing
- hardware designs
- database
- testing process
- formal specification
- black box
- simulated annealing algorithm
- computer systems
- simulated annealing
- decision making
- machine learning
- real world
- model based testing
- number of test cases