Predictive Typestate Checking of Multithreaded Java Programs.

Pallavi Joshi Koushik Sen

Published in: ASE (2008)

Keyphrases

java programs
multi threaded
multithreading
software components
test suite
java language
test case generation
java virtual machine
artificial intelligence
parallel computing