Practical Automated Bug Finding
Event details
| Date | 27.08.2012 |
| Hour | 10:00 |
| Speaker | Mr. Jonas Wagner |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Willy Zwaenepoel
Thesis director: Prof. George Candea
Co-examiner: Prof. Viktor Kuncak
Research Proposal
S2E: A Platform for In-vivo Multi-path Analysis of Software Systems.by Chipounov, V., V. Kuznetsov, and G. Candea.
SLAM2: Static Driver Verification with Under 4% False Alarms. by Ball, T., E. Bounimova, R. Kumar, and V. Levin.
Billions and Billions of Constraints: Whitebox Fuzz Testing in Production.by Bounimova, E., P. Godefroid, and D. Molnar.
Exam president: Prof. Willy Zwaenepoel
Thesis director: Prof. George Candea
Co-examiner: Prof. Viktor Kuncak
Research Proposal
S2E: A Platform for In-vivo Multi-path Analysis of Software Systems.by Chipounov, V., V. Kuznetsov, and G. Candea.
SLAM2: Static Driver Verification with Under 4% False Alarms. by Ball, T., E. Bounimova, R. Kumar, and V. Levin.
Billions and Billions of Constraints: Whitebox Fuzz Testing in Production.by Bounimova, E., P. Godefroid, and D. Molnar.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex