Communications of the ACM
Researchers Honored For Influential Contributions to Software Engineering Field
Kansas State Associate Professor Robby has endured minor inconveniences due to his singular name. He is an author of a paper that recently received the Most Influential Paper Award from the International Conference on Software Engineering.
Credit: Kansas State University
"Bandera: Extracting Finite-State Models From Java Source Code," published in 2000, received the Most Influential Paper Award at the recent International Conference on Software Engineering. The award is given to the paper that has the biggest influence on the theory and practice of software engineering in the 10 years since it was published.
Kansas State University professors John Hatcliff and Robby were part of the seven-member team that in 1998 began to research how different technologies could test for problems that arise when computer programs multitask. "Our main contribution was to illustrate how model checking, a technique based on discrete mathematics and formal logic, could be applied to software systems to reason about systems that were multitasking in nature," Hatcliff says.
"What was interesting about this project was that it brought together a number of different technologies, and that was really one of the things that made this paper stand out," Robby says.
From Kansas State University
View Full Article
Abstracts Copyright © 2010 Information Inc., Bethesda, Maryland, USA 
No entries found