Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.
Nikolai TillmannWolfram SchultePublished in: IEEE Softw. (2006)
Keyphrases
- symbolic execution
- test generation
- test cases
- unit testing
- software testing
- test data generation
- test suite
- black box
- static analysis
- test data
- quality assurance
- integration testing
- software development
- software systems
- specification language
- source code
- object oriented
- testing process
- test set
- software engineering
- database
- general purpose
- multi objective
- cooperative
- tool suite
- decision trees