Sign in

Predictive Typestate Checking of Multithreaded Java Programs.

Pallavi JoshiKoushik 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