FlexMin: A Flexible Tool for Automatic Bug Isolation in DBMS Software Kristi Morton * University of Washington, Department of Computer Science & Engineering.