Predicate abstraction of Java programs with collections.

Pavel Parízek Ondrej 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