ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

The paper, “Test Input Generation With Java PathFinder” was published in the International Symposium on Software Testing and Analysis (ISSTA) 2004 Proceedings, and has now been selected to receive the ISSTA 2018 Retrospective Impact Paper Award. The paper proposes black-box and white-box techniques for the automated testing of software systems. These techniques are based on model checking and symbolic execution and have been incorporated in the Java PathFinder analysis tool. The main contribution of the paper is to show how to perform efficient test input generation for code manipulating complex data that takes into account complex method preconditions.

In this talk we review the original paper and we discuss the research that has happened between then (2004) and now (2018) in the context of the Java PathFinder tool, its symbolic execution component that is now called Symbolic PathFinder, and closely related approaches that target testing of software that manipulates complex data structures. We close with directions for future work.

Tue 17 Jul

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

14:00 - 15:30
Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II
Chair(s): Tevfik Bultan University of California, Santa Barbara, Frank Tip Northeastern University
14:00
60m
Talk
Test input generation with Java PathFinder: Then and Now
ISSTA Keynotes
Willem Visser Stellenbosch University, Sarfraz Khurshid University of Texas at Austin, Corina S. Păsăreanu NASA Ames Research Center
15:00
7m
Impact Paper Awards
ISSTA Keynotes
Tevfik Bultan University of California, Santa Barbara
15:07
7m
Distinguished Paper Awards
ISSTA Keynotes
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14
7m
Talk
Distinguished Artifact Award
ISSTA Keynotes
Nico Rosner University of California, Santa Barbara, Ben Hermann University of Paderborn
15:21
7m
Best Tool Demonstration Award
ISSTA Keynotes
Hamid Bagheri University of Nebraska-Lincoln, USA, Kathryn Stolee North Carolina State University