Abstract is missing.
- Reproducible testing of distributed software with middleware virtualization and simulationCyril Briquet, Pierre-Arnoul de Marneffe. 1 [doi]
- Dynamic testing of flow graph based parallel applicationsBasile Schaeli, Roger D. Hersch. 2 [doi]
- Scheduling considerations for building dynamic verification tools for MPISarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby. 3 [doi]
- Memory tagging in Charm++Filippo Gioachin, Laxmikant V. Kalé. 4 [doi]
- Support for symmetric shadow memory in multiprocessorsVijay Nagarajan, Rajiv Gupta. 5 [doi]
- On-the-fly race detection in multi-threaded programsAli Jannesari, Walter F. Tichy. 6 [doi]
- AtomRace: data race and atomicity violation detector and healerZdenek Letko, Tomás Vojnar, Bohuslav Krena. 7 [doi]
- Towards a better collaboration of static and dynamic analyses for testing concurrent programsJun Chen, Steve MacDonald. 8 [doi]
- Software development tools for multi-core/parallel programmingRamesh Peri. 9 [doi]
- Systematic concurrency testing using CHESSMadan Musuvathi. 10 [doi]
- Pitfalls in teaching development and testing of concurrent programs and how to overcome themEitan Farchi. 11 [doi]