Korat: automated testing based on Java predicates.
Chandrasekhar BoyapatiSarfraz KhurshidDarko MarinovPublished in: ISSTA (2002)
Keyphrases
- search based testing
- computer aided
- programming language
- open source
- test cases
- source code
- object oriented
- artificial intelligence
- fully automated
- semi automated
- database applications
- database
- java programs
- web applications
- lightweight
- development environment
- datalog programs
- cross platform
- test data generation
- byte code
- information retrieval