Program Analysis Systems Code
Event details
| Date | 20.09.2011 |
| Hour | 13:45 |
| Speaker | Mr Volodymyr Kuznetsov |
| Location |
INN326
|
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Christoph Koch
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 et al.
Path Invariants by Thomas A. Henzinger et al.
Compositional May-Must Program Analysis:Unleashing the Power of Alternation by Patrice Godefroid et al.
Exam president: Prof. Christoph Koch
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 et al.
Path Invariants by Thomas A. Henzinger et al.
Compositional May-Must Program Analysis:Unleashing the Power of Alternation by Patrice Godefroid et al.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex