Real-time Java API specifications for high coverage test generation.
Wolfgang AhrendtWojciech MostowskiGabriele PaganelliPublished in: JTRES (2012)
Keyphrases
- test generation
- real time
- source code
- code coverage
- test cases
- high level
- open source
- design automation
- static analysis
- symbolic execution
- test sequences
- software systems
- software testing
- test suite
- quality assurance
- mutation testing
- object oriented
- regression testing
- java database connectivity
- cross platform
- application server
- java programs
- database applications
- software development
- web applications
- decision trees
- java code
- databases