Heuristics for Determining Equivalence of Program Mutations.

Abstract

A mutant M of a program P is a program derived from P by making some well defined simple change in P. Some initial investigations on automatically detecting equivalent mutants of a program are presented. The idea is based on the observation that compiler optimization can be considered a process of altering a program to an equivalent but more efficient mutant of the program. Thus the inverse of compiler optimization techniques can be seen as, in essence, equivalent mutant detection. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1979
Accession Number
ADA071795

Entities

People

  • Douglas Baldwin
  • Frederick Sayward

Organizations

  • Georgia Tech

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Compilers
  • Computer Programming
  • Computer Science
  • Computers
  • Computing-Related Activities
  • Connectors
  • Detection
  • Identification
  • Mathematics
  • Military Research
  • Mutations
  • Optimization
  • Recognition
  • Recursive Functions
  • Side Effects

Fields of Study

  • Engineering

Readers

  • Computational Modeling and Simulation
  • Computer Science.
  • Molecular Genetics