Projected state machine coverage for software testing. - G. Friedman; Alan Hartman; Kenneth Nagin; T. Shiran (ISSTA, 2002)