Multithreaded Java program test generation.

Orit Edelstein Eitan Farchi Yarden Nir Gil Ratsaby Shmuel Ur

Published in: Java Grande (2001)

Keyphrases

test generation
test cases
multi user
test sequences
symbolic execution
design automation
quality assurance
mutual exclusion
static analysis
software testing
mutation testing
databases
quality control
software systems
regression testing
software development
user interface
image processing
code coverage