Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner
Browse the full SACMAT paper archive.