NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Robust Software Engineering Members Organize International Symposium on Software Testing and Analysis
Intelligent Systems Division Banner

Robust Software Engineering Members Organize International Symposium on Software Testing and Analysis

Robust Software Engineering group members Corina Pasareanu (General Chair) and Oksana Tkachuk (Local Chair), organized the 23rd International Symposium on Software Testing and Analysis (ISSTA), held in San Jose on July 21-25. ISSTA 2014 attracted a record number of participants and had a strong industry presence both in the organization of the conference and audience, including Stinger Ghaffarian Technologies (SGT), NASA, Microsoft, Fujitsu, Oracle, International Business Machines (IBM), MathWorks, Nippon Electric Company (NEC) Labs, Coverity, Google, Samsung, and Parasoft, all showing the growing interest in software testing and analysis from the business sector, especially from the Bay Area.

BACKGROUND: 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 2014 included a strong Technical Track (36 research papers accepted out of 128 submissions), a Tool Track, an Artifact Evaluation (co-organized by Falk Howar from CMU/SGT), and a Doctoral Symposium. ISSTA 2014 also included three collocated events: the Signal Processing and Integrated Networks (SPIN) 2014 International Symposium on Model Checking of Software; the 2nd Joining AcadeMiA and Industry Contributions to Test Automation (JAMAICA) Workshop on Test Automation and Model-Based Testing; and the 12th International Workshop On Dynamic Analysis (WODA) + Software and System PERfomance Testing, debugging, and Analysis (PERTEA).
ISSTA 2014 featured three invited talks: “Dynamic Analyses for Reliable Concurrency,” by Cormac Flanagan (UC Santa Cruz); “Practical Aspects of Testing Your Code as You Develop It,” by Andreas Kuehlmann (Coverity); and “DARPA’s Cyber Grand Challenge,” by Mike Walker (DARPA). In addition, the conference featured industry demo booths from MathWorks, Coverity, Parasoft, SGT, and NASA. The Tool Track, Artifact Evaluation, and common ISSTA/SPIN day were new this year. Neha Rungta (SGT) co-authored the paper “Feedback-Directed Invariant Discovery,” presented in the ISSTA Research Track. Corina Pasareanu co-authored “Quantifying Information Leaks using Reliability Analysis,” presented at SPIN, and also gave an invited talk at WODA + PERTEA 2014.

ISSTA 2014 was sponsored by the Association for Computing Machinery’s (ACMs) Sigsoft and Sigplan, and industrial donors SGT, NASA, Microsoft, Fujitsu, Oracle, IBM, MathWorks, NEC, Coverity, Google, Samsung, and Parasoft.

NASA PROGRAM FUNDING: System-wide Safety Assurance Technologies (SSAT) project, Aviation Safety Program (AvSP), Aeronautics Research Mission Directorate (ARMD)

Contact: Corina Pasareanu

First Gov logo
NASA Logo - nasa.gov