Speaker: Cristian Cadar , Imperial College London, United Kingdom

Area: Symbolic Testing

When and where: Tuesday, July 19, 16:05 – 17:35 at DFKI

Slides: An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure

Abstract: Dynamic symbolic execution has gathered a lot of attention in recent years as an effective technique for generating high-coverage test suites and finding deep errors in complex software applications.

In this tutorial-style presentation, I will introduce the main concepts of dynamic symbolic execution and exemplify them in the context of our KLEE symbolic execution infrastructure. The talk is primarily targeted to those who have no direct experience with dynamic symbolic execution and KLEE, but the talk will also include several parts useful for a more specialist audience.

More on Cristian:
Prof. Cristian Cadar Cristian Cadar is a Reader (Associate Professor) in the Department of Computing at Imperial College London, where he leads the Software Reliability Group. His research interests span the areas of software engineering, computer systems and security, with an emphasis on building practical techniques and tools for improving the reliability and security of software systems, such as the symbolic execution engine KLEE being presented in this talk. He was elected as a Fellow of the British Computer Society in 2016, awarded the EuroSys Jochen Liedtke Young Researcher Award in 2015, an EPSRC Early-Career Fellowship in 2013, and artifact or paper awards at ICST 2016, ISSTA 2014, ESEC/FSE 2013 and OSDI 2008. Cristian received a PhD in Computer Science from Stanford University, and undergraduate and Master’s degrees from the Massachusetts Institute of Technology.