Monday, November 27, 2017 - 4:00pm to 4:50pm
LPSC 125

Speaker Information

Iftekhar Ahmed
Oregon State University


Software will always have bugs, and as software continues to become a more and more pervasive part of our lives, software failures will continue to affect more people than ever. In the absence of a major breakthrough in model checking or formal verification, improving and checking software quality requires a statistical approach; our confidence in our systems depends on our confidence in the exhaustiveness of our testing. As software systems get more complex, the task of exhaustive testing becomes more complex. In order to build less error prone systems, we therefore need to not only focus on quickly and efficiently identifying bugs through testing, but also on identifying factors associated with bugs in order to prevent them in the first place. Software development is a complex process that requires coordination between individuals and technology, and as we look to predict and prevent faults, we need to examine the effect that socio-technical factors have on code quality. In this talk, I present my research on identifying factors that are associated with software faults. I also present my work on improving the effectiveness of testing to automatically uncover bugs in complex real-world systems to build better quality software.

Speaker Bio

Iftekhar Ahmed is a Ph.D. candidate in Computer Science at Oregon State University doing research in Software Engineering, with a focus on combining testing, static analysis and machine learning approaches to help improve software quality under real-world conditions. His Ph.D. work on improving the effectiveness of mutation analysis for large-scale real-world systems has helped to identify a number of bugs in the Linux kernel. The improvements resulting from his work have been incorporated into the Linux mainline distribution with more than 2 Billion instances running worldwide from mobile phones to data centers. He is a two-time recipient of the IBM Ph.D.
fellowship, and his current research is funded by IBM. More info about him can be found at: