Sign in

Predicate abstraction of Java programs with collections.

Pavel ParízekOndrej Lhoták
Published in: OOPSLA (2012)
Keyphrases
  • java programs
  • multi threaded
  • software components
  • java language
  • high level
  • java virtual machine
  • test case generation
  • data sets
  • test suite
  • general purpose
  • cooperative
  • low cost
  • operating system