Michael R. Donat

发表

Automating Formal Specification-Based Testing

Michael R. Donat, 1997, TAPSOFT.

Automatically Generated Test Frames from a Q Specification of ICAO Flight Plan Form Instructions

Michael R. Donat, 1998 .

S: A Machine Readable Specification Notation based on Higher Order Logic

Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat, 1994, TPHOLs.

5.1.4 Applying an Automated Test Description Tool to Testing Based on System Level Requirements

Jeffrey J. Joyce, Michael R. Donat, 1998 .

Learning and Applying Generalised Solutions using Higher Order Resolution

Lincoln A. Wallen, Michael R. Donat, L. Wallen, 1988, CADE.

A discipline of specification-based test derivation

Jeffrey J. Joyce, Michael R. Donat, 1998 .

3 Methodology for Measuring Requirements' Impact on Software Size

Michael R. Donat, Ronald Stewart, 1999 .

Taking the hol out of HOL

Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat, 2000 .

Enhancing cleanroom techniques with refinement calculus

Michael R. Donat, 1995, CASCON.

GENERATING TEST CASES FROM FORMAL SPECIFICATIONS

Jeffrey J. Joyce, Kalman C. Toth, Michael R. Donat, 1996 .

Debugging in an Asynchronous World

Michael R. Donat, 2003, ACM Queue.

Automating Formal Speci cation-Based Testing To Appear: TAPSOFT '97

Michael R. Donat, 1997 .