Specification and Verification of Encapsulation in Java Programs.

Published in: FMOODS (2005)

Keyphrases

java programs
test case generation
formal verification
multi threaded
formal methods
java language
model checking
protocol specification
software components
formal specification
test suite
high level
object oriented databases
java virtual machine
test cases
object oriented
low cost