A correctness criterion for CSP parallel programs. - Frederick G. Sayward (ACM SIGPLAN Notices, 1975)

The Definition Mechanism for Standard PL/I. - Michael Marcotty; Frederick G. Sayward (IEEE Trans. Software Eng., 1977)

The design of a prototype mutation system for program testing. - Timothy A. Budd; Richard J. Lipton; Richard A. DeMillo; Frederick G. Sayward (AFIPS National Computer Conference, 1978)

Hints on Test Data Selection: Help for the Practicing Programmer. - Richard A. DeMillo; Richard J. Lipton; Frederick G. Sayward (Computer, 1978)

Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. - Timothy A. Budd; Richard A. DeMillo; Richard J. Lipton; Frederick G. Sayward (POPL, 1980)

Experimental design methodologies in software science. - Frederick G. Sayward (Inf. Process. Manag., 1984)

Toward the Systematic Maintenance of Different Versions of Rule-Based Immunization Guideline Logic. - Sandra J. Frawley; Perry L. Miller; Frederick G. Sayward; William A. Yasnoff (AMIA, 1997)

A prototype Web site for immunization knowledge maintenance. - Perry L. Miller; Sandra J. Frawley; Cynthia Brandt; Frederick G. Sayward (AMIA, 1997)

Demonstration of Computer-Based Forecasting for Childhood Immunization and Related Knowledge Maintenance Tools. - Perry L. Miller; Sandra J. Frawley; Frederick G. Sayward; William A. Yasnoff (AMIA, 1997)

Issues in accommodating national changes and local variation in a computer-based guideline for childhood immunization and in related knowledge maintenance tools. - Perry L. Miller; Sandra J. Frawley; Frederick G. Sayward (AMIA, 1998)

Application of Technology: Managing Attribute-Value Clinical Trials Data Using the ACT/DB Client-Server Database System. - Prakash M. Nadkarni; Cynthia Brandt; Sandra J. Frawley; Frederick G. Sayward; Robin Einbinder; Daniel Zelterman; Lee Schacter; Perry L. Miller (J. Am. Medical Informatics Assoc., 1998)

Exploring three approaches for handling incomplete patient histories in a computer-based guideline for childhood immunization. - Perry L. Miller; Sandra J. Frawley; Frederick G. Sayward (AMIA, 1999)

Informatics issues in the national dissemination of a computer-based clinical guideline: a case study in childhood immunization. - Perry L. Miller; Sandra J. Frawley; Frederick G. Sayward (AMIA, 2000)

IMM/Scrub: A Domain-Specific Tool for the Deduplication of Vaccination History Records in Childhood Immunization Registries. - Perry L. Miller; Sandra J. Frawley; Frederick G. Sayward (Comput. Biomed. Res., 2000)

Exploring the Utility of Demographic Data and Vaccination History Data in the Deduplication of Immunization Registry Patient Records. - Perry L. Miller; Sandra J. Frawley; Frederick G. Sayward (J. Biomed. Informatics, 2001)

Maintaining and Incrementally Revalidating a Computer-Based Clinical Guideline: A Case Study. - Perry L. Miller; Sandra J. Frawley; Frederick G. Sayward (J. Biomed. Informatics, 2001)

Case Study: Exploring Issues of Quality of Service in a Next Generation Internet Testbed: A Case Study Using PathMaster. - Mark A. Shifman; Frederick G. Sayward; Mark E. Mattie; Perry L. Miller (J. Am. Medical Informatics Assoc., 2002)

Design Issues in Implementing a Portable Sample Tracking and Analysis Research Support (STARS) System for PCR Based Microarray Research. - Frederick G. Sayward; Jin Yang; Kenneth Nelson; Ghia Euskirchen; Alexander E. Urban; Paul Bertone; John Rinn; Sherman Weissman; Mark Gerstein; Michael Snyder 001; Perry L. Miller (CISS, 2006)