Checking Java Programs via Guarded Commands.

K. Rustan M. Leino James B. Saxe Raymie Stata

Published in: ECOOP Workshops (1999)

Keyphrases

java programs
multi threaded
java language
software components
test suite
operating system
fixed point
test case generation
real world
information systems
cooperative
programming language
genetic programming
parallel algorithm
computer architecture