ISR Distinguished Speaker

Mats Heimdahl

Professor, Department of Computer Science and Engineering
Director, Software Engineering Center
“Programs, Test Data, and Oracles: Revisiting the Foundations of Software Testing”
Friday, April 3, 2015 - 3:00pm to 4:00pm
Faculty Host: 

RSVPs are not required.

Donald Bren Hall (building #314), room 6011

No cost to attend.

For More Information: 

For more information, send email to us via our contact form.


Click here for directions and parking information.


For decades, researchers have explored the topic of software testing. Early work in this area covered the formal foundations of program testing. By exploring the foundations of testing largely separate from any specific method of testing, these researchers provided a general discussion of the testing process, including the goals, the underlying problems, and the limitations of testing. Unfortunately, a common, rigorous foundation has not been widely adopted in empirical software testing research, making it difficult to generalize and compare empirical research. Furthermore, much of current testing research has lost track of the goal of testing (finding consequential faults) and has focused on furthering specific aspect of the testing problem without considering the impact on the testing process as a whole.

In this talk I will revisit this foundational work and discuss the crucial (and often overlooked) interrelationship between the program under test, the test data used in its testing, and the test oracle determining whether or not a test passes.  I will, with examples from our empirical work, discuss a new coverage criterion, Observable MC/DC, and a new technique to select which variables to observe when testing a program; both techniques attempting to leverage the interrelationship between programs, test data, and test oracles.

About the Speaker: 

Mats Heimdahl is a Professor of Computer Science and Engineering at the University of Minnesota, the Director of the University of Minnesota Software Engineering Center (UMSEC), and the Director of Graduate Studies for the Master of Science in Software Engineering program. He earned an M.S. in Computer Science and Engineering from the Royal Institute of Technology (KTH) in Stockholm, Sweden and a Ph.D. in Information and Computer Science from the University of California, Irvine. 

His research interests are in software engineering, safety critical systems, software safety, testing, requirements engineering, formal specification languages, and automated analysis of specifications.

He is the recipient of the NSF CAREER award, a McKnight Land-Grant Professorship, the McKnight Presidential Fellow award, and the awards for Outstanding Contributions to Post-Baccalaureate, Graduate, and Professional Education at the University of Minnesota.