Java applications are typically compiled to
byte-code that can run on any Java virtual machine (JVM) regardless of computer architecture.
Model checking is done via execution of Java byte-codes, an approach that allows different byte-code interpretations to be developed.
One of them is the ability to register Java listeners for various JPF events, for example monitor the execution of a byte-code instruction.
The process of mutation is simplified because we do not try to replace the original byte-code instructions with mutated instructions.
is a proprietary, high performance virtual processor with an extensive
byte-code instruction set optimized to execute compiled 4DGL programs.
Instead of modifying the source code, monitoring tools typically apply a second form of instrumentation to the byte-code of the compiled application.
Byte-code instrumentation occurs within the bean allowing for a deeper level of runtime data than when JMX is used alone.
Individually, JMX and byte-code instrumentation provide valuable insight into the J2EE application server and the hosted applications.
The Semotus OTAP Platform features additional innovative qualities including data encryption, advanced, icon-driven GUI interface,
byte-code interpreter, data compression, support for graphics and charting and an individual Inbox for Semotus application messages and alerts.
NaturalBridge LLC, a Menlo Park, California-based start-up founded three years ago by former employees of IBM Corp, Intel Corp and Sun Microsystems Inc, claims it is the first company to come out with a static
byte-code compiler designed specifically for Java.
Java's byte-code instruction are at a much lower semantic level.
On the other hand, a tree-based encoding has several important advantages over a linear stream of byte-codes for some virtual machine.