Andrey Rybalchenko, 32

摘要

Computer scientist Andrey Rybalchenko has developed a new method for finding software bugs. Traditional automated testing systems detect when programs do "bad things" that lead to crashes, forcing the program to quit. By focusing on crashes, however, such testing often misses a significant class of bugs-those that allow the software to keep running but leave it unable to accept new input or do anything useful. In essence, Rybalchenko instead tries to identify when a program is doing "good things", such as making progress through loops or responding to other programs.