Isolating failure-inducing thread schedulesJong-Deok ChoiAndreas Zeller2002ISSTA 2002Conference paper
Projected state machine coverage for software testingG. FriedmanA. Hartmanet al.2002ISSTA 2002Conference paper