Propagation of JML non-null annotations in Java programs.

Maciej Cielecki Jedrzej Fulara Krzysztof Jakubczyk Lukasz Jancewicz

Published in: PPPJ (2006)

Keyphrases

java programs
multi threaded
software components
java language
test suite
real world
case study
object oriented
operating system
java virtual machine