Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs.

Abstract

A framework for studying the program mutation testing method from both theoretical and empirical viewpoints is presented. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1980
Accession Number
ADA083078

Entities

People

  • Frederick G. Sayward
  • Richard A. Demillo
  • Richard J. Lipton
  • Timothy A. Budd

Organizations

  • Georgia Tech

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems

DTIC Thesaurus Topics

  • Commerce
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Information Science
  • Language
  • Operating Systems
  • Programming Languages
  • Software Development
  • Software Testing
  • Standards
  • Test And Evaluation
  • Test Methods
  • Test Sets

Fields of Study

  • Computer science