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

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

14:00 - 15:30: ISSTA Keynotes - Keynote: Visser, Khurshid, and Pasareanu & Awards at Zurich II
Chair(s): Frank TipNortheastern University, Tevfik BultanUniversity of California, Santa Barbara
issta-2018-Keynotes153182880000014:00 - 15:00
Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina PasareanuNASA Ames Research Center
issta-2018-Keynotes153183240000015:00 - 15:07
Tevfik BultanUniversity of California, Santa Barbara
issta-2018-Keynotes153183282000015:07 - 15:14
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes153183324000015:14 - 15:21
Nicolás RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn
issta-2018-Keynotes153183366000015:21 - 15:28
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth Carolina State University