Declassification: Transforming Java Programs to Remove Intermediate Classes.

Bernadette Power Geoff W. Hamilton

Published in: SCAM (2005)

Keyphrases

java programs
multi threaded
software components
java language
cooperative
case study
graphical models
communication networks
test suite
java virtual machine
test case generation