Multithreaded Java program test generation.
Orit EdelsteinEitan FarchiYarden NirGil RatsabyShmuel UrPublished in: IBM Syst. J. (2002)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- static analysis
- design automation
- multi user
- quality assurance
- mutation testing
- mutual exclusion
- software testing
- multithreading
- relational databases
- open source
- real world
- quality control
- software systems
- information technology
- high quality
- artificial intelligence