Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
Browse the full ISSTA paper archive.