Chronon Systems, which offers technology for recording and playing back Java programs, contends that the bytecode verifier featured in Java 7 is a huge step backward for the Java virtual machine.

Calling Methods,Class Diagram,Concrete Values,Consistency Checks ... He worked on an approach to concolic execution of Java bytecode. He is currently working on database programming for a web ...