BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Scalable Automated Testing Using Symbolic Execution
DTSTART:20100712T110000
DTSTAMP:20260406T174711Z
UID:90fcf012c1d0fc83f93f0f00324db92455bb73229338705251b55bb0
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Stefan Bucur\nEDIC Candidacy Exam:Exam president: Prof. Mar
 tin OderskyThesis director: Prof. George Candea Co-examiner: Prof. Bernard
  MoretResearch ProposalKLEE: Unassisted and Automatic Generation of High-C
 overage Tests for Complex Systems Programs by Cristian Cadar\, Daniel Dunb
 ar\, Dawson EnglerDemand-Driven Compositional Symbolic Execution by Saswat
  Anand\, Patrice Godefroid and Nikolai TillmannGrammar-based whitebox fuzz
 ing by Patrice Godefroid\, Adam Kiezun\, Michael Y. Levin
LOCATION:INN326
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR