Forcing small models of conditions on program interleaving for detection of concurrent bugs
- Ehud Trainin
- Yarden Nir-Buchbinder
- et al.
- 2009
- ISSTA 2009
Workshop paper
Publications
5 results at ISSTA 2009
A proposal of operation history management system for source-to-source optimization of HPC programs
- Yasushi Negishi
- Hiroki Murata
- et al.
- 2009
- ISSTA 2009
Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applications
- Yao Qi
- Raja Das
- et al.
- 2009
- ISSTA 2009
Workshop paperAdvanced code coverage analysis using substring holes
- Yoram Adler
- Eitan Farchi
- et al.
- 2009
- ISSTA 2009
Conference paperFault localization and repair for Java runtime exceptions
- Saurabh Sinha
- Hina Shah
- et al.
- 2009
- ISSTA 2009
Conference paper