1.
|
Java bytecode obfuscation Batchelder, Michael Robert
|
2.
|
Dynamic purity analysis for Java programs Xu, HaiYing
|
3.
|
Verifying finite-state properties of large-scale programs Bodden, Eric
|