TEST CASE GENERATION WITH IOGEN.

Timothy Lindquist, Joyce R. Jenkins

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

1 Citation (Scopus)

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

Software testing
Static analysis

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)

TEST CASE GENERATION WITH IOGEN. / Lindquist, Timothy; Jenkins, Joyce R.

Proceedings of the Hawaii International Conference on System Science. Vol. 2 1987. p. 478-487.

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

Lindquist, T & Jenkins, JR 1987, TEST CASE GENERATION WITH IOGEN. in Proceedings of the Hawaii International Conference on System Science. vol. 2, pp. 478-487.
Lindquist T, Jenkins JR. TEST CASE GENERATION WITH IOGEN. In Proceedings of the Hawaii International Conference on System Science. Vol. 2. 1987. p. 478-487
Lindquist, Timothy ; Jenkins, Joyce R. / TEST CASE GENERATION WITH IOGEN. Proceedings of the Hawaii International Conference on System Science. Vol. 2 1987. pp. 478-487
@inproceedings{34db6fffa4e34426a5327c85c4bc53fc,
title = "TEST CASE GENERATION WITH IOGEN.",
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.",
author = "Timothy Lindquist and Jenkins, {Joyce R.}",
year = "1987",
language = "English (US)",
volume = "2",
pages = "478--487",
booktitle = "Proceedings of the Hawaii International Conference on System Science",

}

TY - GEN

T1 - TEST CASE GENERATION WITH IOGEN.

AU - Lindquist, Timothy

AU - Jenkins, Joyce R.

PY - 1987

Y1 - 1987

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0023167229&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023167229&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0023167229

VL - 2

SP - 478

EP - 487

BT - Proceedings of the Hawaii International Conference on System Science

ER -