MUVI

This publication has 36 references indexed in Scilit:

• Autolocker
  Published by Association for Computing Machinery (ACM) ,2006
• Associating synchronization constraints with data in an object-oriented language
  Published by Association for Computing Machinery (ACM) ,2006
• RaceTrack
  Published by Association for Computing Machinery (ACM) ,2005
• PR-Miner
  Published by Association for Computing Machinery (ACM) ,2005
• DynaMine
  Published by Association for Computing Machinery (ACM) ,2005
• Synthesis of interface specifications for Java classes
  Published by Association for Computing Machinery (ACM) ,2005
• Mining Temporal Specifications for Error Detection
  Published by Springer Nature ,2005
• High‐level data races
  Software Testing, Verification and Reliability, 2003
• Eraser
  ACM Transactions on Computer Systems, 1997
• An empirical comparison of monitoring algorithms for access anomaly detection
  Published by Association for Computing Machinery (ACM) ,1990