TEST CASE GENERATION WITH IOGEN.

Timothy Lindquist, Joyce R. Jenkins

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

IOGEN is a static analysis tool for Ada code. Using a technique based on symbolic execution, IOGEN produces a set of input/output pairs which characterize execution paths through a program. In this paper we describe the design and the implementation of IOGEN. Input/output pairs may be used for testing software or as the basis for generating an interface validation suite. These applications are also described, with special attention devoted to Ada interface validation.

Original languageEnglish (US)
Title of host publicationProceedings of the Hawaii International Conference on System Science
Pages478-487
Number of pages10
Volume2
StatePublished - 1987

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Lindquist, T., & Jenkins, J. R. (1987). TEST CASE GENERATION WITH IOGEN. In Proceedings of the Hawaii International Conference on System Science (Vol. 2, pp. 478-487)