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

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'TEST CASE GENERATION WITH IOGEN.'. Together they form a unique fingerprint.

Cite this