Abstract: Mutation testing is an approach to check the robustness of test suites. The program code is slightly changed by mutations to inject errors. A test suite is robust enough if it finds such ...

Normally, a VM defines the semantics of it's programming language. In case of Java, the corresponding instruction set represents a multi-threaded stack machine, where values are kept on the heap, or ...

Reading compiled Java bytecode can be tedious, even for experienced Java developers. Why do we need to know about such low-level stuff in the first place? Here is a simple scenario that happened to me ...

In the quest for ever faster JavaScript, there has been a recurring refrain: why use JavaScript at all? JavaScript engines have been a major focus of browser developers for some years, and the result ...

Java famously runs on billions of devices, including workstations, desktops, tablets, supercomputers, and jewelry. Yes, jewelry. Look it up. [Michael] realized Java doesn’t run on Commodore 64s, ...

Abstract: Using abstract syntax tree as the basis of static analysis of Java program have many difficulties. The paper defines a XML data structure for Java bytecode, instead of abstract syntax tree ...

We present GOLDILOCKS, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking place, and allows race ...