Scalable Automated Testing Using Symbolic Execution
Event details
| Date | 12.07.2010 |
| Hour | 11:00 |
| Speaker | Mr Stefan Bucur |
| Location |
INN326
|
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Martin Odersky
Thesis director: Prof. George Candea
Co-examiner: Prof. Bernard Moret
Research Proposal
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs by Cristian Cadar, Daniel Dunbar, Dawson Engler
Demand-Driven Compositional Symbolic Execution by Saswat Anand, Patrice Godefroid and Nikolai Tillmann
Grammar-based whitebox fuzzing by Patrice Godefroid, Adam Kiezun, Michael Y. Levin
Exam president: Prof. Martin Odersky
Thesis director: Prof. George Candea
Co-examiner: Prof. Bernard Moret
Research Proposal
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs by Cristian Cadar, Daniel Dunbar, Dawson Engler
Demand-Driven Compositional Symbolic Execution by Saswat Anand, Patrice Godefroid and Nikolai Tillmann
Grammar-based whitebox fuzzing by Patrice Godefroid, Adam Kiezun, Michael Y. Levin
Practical information
- General public
- Free
Contact
- Evelyn Duperrex