Frederick G. Sayward

发表

Application of Technology: Managing Attribute-Value Clinical Trials Data Using the ACT/DB Client-Server Database System

Perry L. Miller, Cynthia Brandt, Prakash M. Nadkarni, 1998, J. Am. Medical Informatics Assoc..

A correctness criterion for CSP parallel programs

Frederick G. Sayward, F. Sayward, 1975, SIGP.

A prototype Web site for immunization knowledge maintenance

Perry L. Miller, Cynthia Brandt, Sandra J. Frawley, 1997, AMIA.

Statistical Measures of Software Reliability

Frederick G. Sayward, Richard A. DeMillo, 1980 .

Toward the Systematic Maintenance of Different Versions of Rule-Based Immunization Guideline Logic

Perry L. Miller, William A. Yasnoff, Sandra J. Frawley, 1997, AMIA.

Hints on Test Data Selection: Help for the Practicing Programmer

Richard J. Lipton, Richard A. DeMillo, Frederick G. Sayward, 1978, Computer.

Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System.

Richard J. Lipton, Frederick G. Sayward, 1981 .

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, 1998, AMIA.

The Definition Mechanism for Standard PL/I

Michael Marcotty, Frederick G. Sayward, F. Sayward, 1977, IEEE Transactions on Software Engineering.

Theoretical and empirical studies on using program mutation to test the functional correctness of programs

Richard J. Lipton, Richard A. DeMillo, Timothy A. Budd, 1980, POPL '80.

Papers on Program Testing

Richard J. Lipton, Frederick G. Sayward, Richard A. DeMillo, 1979 .

Case Study: Exploring Issues of Quality of Service in a Next Generation Internet Testbed: A Case Study Using PathMaster

Perry L. Miller, Mark A. Shifman, Frederick G. Sayward, 2002, J. Am. Medical Informatics Assoc..

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, 2000, AMIA.

Can Statistical Methods Help Solve Problems in Software Measurement

Frederick G. Sayward, 1981 .

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, 2001, J. Biomed. Informatics.

The design of a prototype mutation system for program testing

Richard J. Lipton, Richard A. DeMillo, Timothy A. Budd, 1899, AFIPS National Computer Conference.

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, 2000, Comput. Biomed. Res..

Maintaining and Incrementally Revalidating a Computer-Based Clinical Guideline: A Case Study

Perry L. Miller, Sandra J. Frawley, Frederick G. Sayward, 2001, J. Biomed. Informatics.

Increasing Confidence in Software through Program Perturbations.

Richard J. Lipton, Frederick G. Sayward, David Hanson, 1976 .

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, 1999, AMIA.

Demonstration of Computer-Based Forecasting for Childhood Immunization and Related Knowledge Maintenance Tools

Perry L. Miller, William A. Yasnoff, Sandra J. Frawley, 1997, AMIA.

Experimental design methodologies in software science

Frederick G. Sayward, 1984, Inf. Process. Manag..