JNuke: Efficient Dynamic Analysis for Java

This publication has 9 references indexed in Scilit:

• High‐level data races
  Software Testing, Verification and Reliability, 2003
• Bogor
  Published by Association for Computing Machinery (ACM) ,2003
• Java and the Java Virtual Machine
  Published by Springer Nature ,2001
• Model checking programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
• Runtime Checking of Multithreaded Applications with Visual Threads
  Published by Springer Nature ,2000
• A methodology for benchmarking Java Grande applications
  Published by Association for Computing Machinery (ACM) ,1999
• A practical method for verifying event-driven software
  Published by Association for Computing Machinery (ACM) ,1999
• Eraser
  ACM Transactions on Computer Systems, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997