API Conformance Verification for Java Programs.

Xin Li H. James Hoover Piotr Rudnicki

Published in: ICFEM (2010)

Keyphrases

java programs
java language
multi threaded
software components
protocol specification
high level
java virtual machine
source code
test suite
operating system