Forcing small models of conditions on program interleaving for detection of concurrent bugsEhud TraininYarden Nir-Buchbinderet al.2009ISSTA 2009Workshop paper
A proposal of operation history management system for source-to-source optimization of HPC programsYasushi NegishiHiroki Murataet al.2009ISSTA 2009Workshop paper
MulticoreSDK: A practical and efficient data race detector for real-world applicationsYao QiRaja Daset al.2009ISSTA 2009Workshop paper
Advanced code coverage analysis using substring holesYoram AdlerEitan Farchiet al.2009ISSTA 2009Conference paper
Fault localization and repair for Java runtime exceptionsSaurabh SinhaHina Shahet al.2009ISSTA 2009Conference paper