0 Marple: Detecting Faults in Path Segments Using Automatically