Testing the Waters II

Technical/Research Track
When: Thursday, May 26 1:45PM
Location: South Pacific 1&2
Chair: Lionel Briand
Program Abstractions for Behaviour Validation
Guido De Caso, Víctor Braberman, Diego Garbervetsky, and Sebastián Uchitel
Programs, Tests, and Oracles: The Foundations of Testing Revisited
Matt Staats, Michael W. Whalen, and Mats P.E. Heimdahl
RACEZ: A Lightweight and Non-invasive Race Detection Tool for Production Applications
Tianwei Sheng, Neil Vachharajani, Stephane Eranian, Robert Hundt, Wenguang Chen, and Weimin Zheng