On-Device Control Flow Verification for Java Programs.

Arnaud Fontaine Samuel Hym Isabelle Simplot-Ryl

Published in: ESSoS (2011)

Keyphrases

control flow
java programs
data flow
multi threaded
software testing
process model
java language
test suite
software components
model checking
workflow management systems
formal methods
formal semantics
multi core processors
multi agent systems
java virtual machine
high level