MANHATTAN, KAN. -- For two Kansas State University professors, receiving one of software engineering's most prestigious awards was more than 10 years in the making.
A seven-member research team that included K-State's John Hatcliff, professor of computer and information science, and Robby, associate professor of computing and information science, set out in 1998 to illustrate how different technologies could test for problems that arise when computer programs multitask. The team published "Bandera: Extracting Finite-State Models from Java Source code" in 2000.