January 1, 1980Open Access

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

View Full Paper

Ask AI

Bookmark

Abstract

In testing for program correctness, the standard approaches [11,13,21,22,23,24,34] have centered on finding data D, a finite subset of all possible inputs to program P, such that

Discussion

No takes yet. Share an insight, caveat, or question.

Cite This Study

Budd et al. (1980) studied this question.

synapsesocial.com/papers/6a1293e51292a1e50c353b6e https://doi.org/10.1145/567446.567468

View Full Paper

Ask AI

Bookmark

Abstract

In testing for program correctness, the standard approaches [11,13,21,22,23,24,34] have centered on finding data D, a finite subset of all possible inputs to program P, such that

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

Abstract

Discussion

Cite This Study

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

Abstract

Discussion

Cite This Study

Also Consider

Also Consider