Generating analyses for detecting faults in path segments.

Wei Le, Mary Lou Soffa

Browse the full ISSTA paper archive.