The International Conference on Software Engineering (ICSE) has presented their 2010 Most Influential Paper Award to RSE researcher Dr. Corina Pasareanu for her role as co-author of “Bandera: Extracting Finite-state Models from Java Source Code.” The award was given at ICSE 2010, May 2-8, in Cape Town, South Africa.
“Bandera: Extracting Finite-state Models from Java Source Code” describes an integrated collection of program analysis and transformation components, called Bandera, that enables the automatic extraction of safe, compact finite-state models from program source code. Bandera takes Java source code as input and generates a program model in the input language of one of several existing verification tools. Bandera also maps verifier outputs back to the original source code. The paper covers the major components of Bandera and gives an overview of how it can be used to model check correctness properties of Java programs.
BACKGROUND: The Most Influential Paper Award is presented at each ICSE conference to the author(s) of the paper from the ICSE meeting held ten years earlier that is judged to have had the most influence on the theory or practice of software engineering in the ten years following its original publication. The award is highly regarded by the ICSE software engineering community, since it recognizes work that has had a profound influence on the software engineering field over the preceding ten-year period. The award is jointly sponsored by ACM/SIGSOFT and IEEE TCSE.
PAPER AUTHORS: James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, and Hongjun Zheng
Contact: Corina Pasareanu