Combining Testing and Verification
Event details
| Date | 27.05.2010 |
| Hour | 14:00 |
| Speaker | Mr Tihomir Gvero |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Willy Zwaenepoel
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler by Yoshihiko Futamura
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories by Yeting Ge, Clark Barrett, and Cesare Tinelli
Korat: Automated Testing Based on Java Predicates by Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov
Exam president: Prof. Willy Zwaenepoel
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler by Yoshihiko Futamura
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories by Yeting Ge, Clark Barrett, and Cesare Tinelli
Korat: Automated Testing Based on Java Predicates by Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov
Practical information
- General public
- Free
Contact
- Evelyn Duperrex