MUVI
Authors:
Open Access
- 14 October 2007
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (6) , 103-116
Abstract
No abstract availableKeywords
This publication has 36 references indexed in Scilit:
- Autolocker2006
- Associating synchronization constraints with data in an object-oriented language2006
- RaceTrack2005
- PR-Miner2005
- DynaMine2005
- Synthesis of interface specifications for Java classes2005
- Mining Temporal Specifications for Error Detection2005
- High‐level data racesSoftware Testing, Verification and Reliability, 2003
- EraserACM Transactions on Computer Systems, 1997
- An empirical comparison of monitoring algorithms for access anomaly detection1990