Speaker bio:
Martin Schäf is a Computer Scientist at SRI International. Before joining SRI, he worked at the United Nations University in Macau. He received his PhD from University of Freiburg in 2011, and his MS degree in computer science from Saarland University in 2006. His research interests include static analysis, software verification, fault localization, and GUI testing.
Martin Schäf
Classifying Bugs with Interpolants