Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Tue 1 Nov 2016 10:30 - 11:03 at Winterthur - Session 2 Chair(s): Michael Pradel, Omer Tripp

Test suites should test exceptional behavior to detect faults in error-handling code. However, manually-written test suites tend to neglect exceptional behavior. Automatically-generated test suites, on the other hand, lack test oracles that verify whether runtime exceptions are the expected behavior of the code under test.

In this talk I will present a technique that automatically creates test oracles for exceptional behaviors from Javadoc comments. The technique uses a combination of natural language processing and program analysis. Our implementation, Toradocu, can be combined with a test input generation tool. Our experimental evaluation shows that Toradocu improves the fault-finding effectiveness of automatically-generated test suites, while at the same time it reduces the number of false positives.

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 2WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
10:30
33m
Talk
Inferring test oracles from the Javadoc documentation
WODA
Alessandra Gorla IMDEA Software Institute
11:03
33m
Talk
The high-interest credit card of runtime enforcement
WODA
Ben Livshits Microsoft Research
11:36
33m
Talk
Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications
WODA
Steven Arzt TU Darmstadt, Germany