Projected state machine coverage for software testing.

G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran

Browse the full ISSTA paper archive.