Assistant Professor Yuriy Brun has received one of twelve 2014 Microsoft Research Awards from the Software Engineering Innovation Foundation (SEIF), which support academic research in software engineering technologies, tools, practices, and teaching methods.
He received the award for his work on improving software quality through model inference and testing. "Today, software is vital to our economy and everyday lives, but the quality of that software could
improve," said Brun. "Errors in software, like the heartbleed bug that compromised the security of nearly two thirds of all active internet sites last Spring, can have severe negative effects on our lives. While testing software systems is one of the most effective ways of improving quality, this process if often manual and expensive, and so many systems are undertested." Prof. Brun's work automatically infers models of how software has been tested, and uses these models to generate brand new tests that identify behavioral flaws.
More on the award