Instructor: Darko Marinov
Met TR 2-3:15 in 1302 SC
A similar course was offered three times before, with a number of students publishing papers based on their course projects from Spring 2005, Fall 2005, and Fall 2007. Over time, the course is becoming less oriented on research projects and more on lectures with non-research projects, but still at least three students published two papers.
Student Papers
Three students published two papers based on the course projects:
Reducing the costs of bounded-exhaustive testing
Fundamental Approaches to Software Engineering
(FASE 2009),
pages 171-185, York, UK, March 2009
SherLog: Error Diagnosis by Connecting Clues from Run-time Logs
ASPLOS 2010, 143-154, Pittsburgh, PA, March 2010