Automated Testing in Distributed Systems
Event details
| Date | 06.09.2010 |
| Hour | 16:00 |
| Speaker | Mr Radu Banabic |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Willy Zwaenepoel
Thesis director: Prof. Rachid Guerraoui
Co-examiner: Prof. George Candea
Research Proposal
Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults by Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin and Mirco Marchetti
Fitness-Guided Path Exploration in Dynamic Symbolic Execution by Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
HOLMES: Effective Statistical Debugging via Efficient Path Profiling by Trishul M. Chilimbi, Ben Liblit, Krishna Mehra, Aditya V. Nori, Kapil Vaswani
Exam president: Prof. Willy Zwaenepoel
Thesis director: Prof. Rachid Guerraoui
Co-examiner: Prof. George Candea
Research Proposal
Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults by Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin and Mirco Marchetti
Fitness-Guided Path Exploration in Dynamic Symbolic Execution by Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
HOLMES: Effective Statistical Debugging via Efficient Path Profiling by Trishul M. Chilimbi, Ben Liblit, Krishna Mehra, Aditya V. Nori, Kapil Vaswani
Practical information
- General public
- Free
Contact
- Evelyn Duperrex