Keynote: 

Why Is Mutation Testing Controversial and What Can We Do About It? 

Mutation testing is a controversial topic.  Among researchers, some find it to have great value, while others[*] are rather skeptical of its value.  Among practitioners, most have not heard about mutation testing, but a few do use it, to name just two examples: the Apache Lucene open-source project has a Maven task to run the PIT mutation tool, and the RSpec testing tool for Ruby has a "heckle" mode.

In this talk, the speaker (hopefully together with a lively audience) will speculate about some reasons why mutation testing is controversial and what we can do about it.  Is mutation testing too slow?  Do we lack practical tools?  Is it used only to evaluate test suites or also to generate test suites?  Is it useful only in research or also in practice?  The speaker will also present some recent research from his group and collaborators on speeding up mutation testing and using it to compare test suites.

[*] If this abstract were a Wikipedia page, it may say here "[citation needed]", but let's keep the people anonymous. 




Darko Marinov is an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. His main research interests are in Software Engineering: improving software reliability; software testing and model checking for sequential, parallel, and distributed code; and program transformations (refactorings). He has a lot of fun looking for software bugs. He published over 50 conference papers, including three that won the ACM SIGSOFT Distinguished Paper awards, of which one also won the ACM SIGSOFT Impact Paper Award (2012). He received an NSF CAREER award (2008), an Illinois CAS Beckman Fellowship (2010-2011), and an Illinois DCS C.W. Gear Outstanding Junior Faculty Award (2010). His work has been supported by IBM, Intel, Microsoft, NSF, and Samsung.