Oregon State University

Can’t find an event? We’re busy migrating to a new event calendar. Try looking new calendar



Event Details

PhD Oral Preliminary Examination – Iftekhar Ahmed

Friday, May 27, 2016 2:00 PM - 4:00 PM

From Randomness to Bug Detection: Inferring Defects in Software Systems Combining Static and Dynamic Analysis
Software will always have bugs, and as we move towards an increasingly complex and interconnected world, where more systems run for more time, more exotic and hard to find faults will be exposed in critical software systems. This is why it's more important than ever to identify and fix as many bugs as possible as early as possible.

Mutation analysis is one gold standard for measuring the completeness and quality of a test suite. Despite four decades of research on this technique, its use in large systems is still rare, in part due to computational requirements and high numbers of false positives. Even a moderately large software project would require millions of test suite runs and generate thousands of useless warnings. This makes these techniques impossible to use by developers working on real-world software systems.

Our research proposes to investigate these fundamental issues in mutation analysis by applying mutation testing on real world high impact applications. We plan to adapt readily available techniques and tools to constrain the complexity and computation requirements that rises form working with large and complex applications.

Finally we aim to find a prioritization technique for surviving mutants using machine learning techniques in conjunction with static program analysis. The outcome of our research will be a new framework and tool chain that will better inform developers about their software, and the adequacy of the testing performed in a way that is actionable. This will help to improve the adoption of mutation analysis while reducing its computational footprint.

Major Advisor: Carlos Jensen
Minor Advisor: Lisa Madsen
Committee: Alex Groce
Committee: Paul McKenney
GCR: Margaret Niess

Kelley Engineering Center (campus map)
Nicole Thompson
1 541 737 3617
Nicole.Thompson at oregonstate.edu
Sch Elect Engr/Comp Sci
This event appears on the following calendars: