Toward the automatic software exorciser

  • Authors:

  • A. A. Arroyo;D. G. Childers

  • Affiliations:

  • University of Florida, Gainesville, Florida;University of Florida, Gainesville, Florida

  • Venue:
  • ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
  • Year:
  • 1977

Quantified Score

Hi-index 0.00

Visualization

Abstract

A conceptual software exorciser for the verification of computer programs is illustrated with specific examples programmed in Fortran, PL1 and APL. In each language one program is correct and one is incorrect, but all programs execute and give correct answers for some inputs. We illustrate how one may automate such an interactive system.