NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Corina Pasareanu Awarded ETAPS Conference Test of Time Award for 2003 Paper
Intelligent Systems Division Banner

Corina Pasareanu Awarded ETAPS Conference Test of Time Award for 2003 Paper

Robust Software Engineering (RSE) researcher Corina Pasareanu won the European joint conferences on Theory And the Practice of Software (ETAPS) Test of Time Award for the paper, “Generalized Symbolic Execution for Model Checking and Testing”. The paper was published at the 2003 international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). The paper presents a unified approach for the systematic analyses of programs with modern programming features such as complex input data structures and concurrency. The paper was co-authored with Sarfraz Khurshid (an MIT student at the time) and Willem Visser (a former long-time RSE member).

The ETAPS conference series established a Test of Time Award to recognize outstanding papers in one of the constituent ETAPS conferences published more than 10 years in the past. ETAPS 2021 will take place March 27 - April 1. Before Covid-19, the conference was scheduled to take place in Luxembourg, with the award being presented during the ETAPS banquet. Now the award will be presented online.

BACKGROUND: ETAPS is a confederation of several conferences, each with its own Program Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in ETAPS annually.

POINT OF CONTACT: Corina Pasareanu,

First Gov logo
NASA Logo -