NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Corina Pasareanu Receives ISSTA 2018 Retrospective Impact Paper Award
Intelligent Systems Division Banner

Corina Pasareanu Receives ISSTA 2018 Retrospective Impact Paper Award

The paper, "Test Input Generation With Java PathFinder", co-authored by Corina Pasareanu of the Robust Software Engineering (RSE) group, 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. Dr. Pasareanu was invited to give a presentation at ISSTA 2018 and submit a paper that will be published in the formal ISSTA Proceedings.

BACKGROUND: The Association for Computing Machinery (ACM) Special Interest Group on SOFTware engineering (SIGSOFT) ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA 2018 will take place from July 16-18 in Amsterdam, Holland. Co-located conferences include the European Conference on Object-Oriented Programming (ECOOP) and Curry On, a new and unusual non-profit conference focused on programming languages and emerging challenges in industry.

The paper, "Test Input Generation With Java PathFinder", 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 RSE's Java PathFinder 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. The techniques have been extensively evaluated on a set of benchmarks that have become the standard in the research community. The paper was authored by Willem Visser (who was a researcher at NASA Ames at the time and is now a professor at the University of Stellenbosch, South Africa), Corina Pasareanu (RSE researcher), and Sarfraz Khurshid (who was a PhD student at the Massachusetts Institute of Technology at the time and is now a professor at the University of Texas at Austin).

POINT OF CONTACT: Corina Pasareanu corina.s.pasareanu@nasa.gov

First Gov logo
NASA Logo - nasa.gov