Analyzing Testability on Data Flow Designs; Y. Le Traon, F. Oaubdesselam, C. Robach

Software Falsifier; D. Brand

Planner Based Error Recovery Testing; A. Mayrhauser, M. Sheetz, E. Dahlman, E. Howe