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 language||English (US)|
|Title of host publication||Proceedings of the Hawaii International Conference on System Science|
|Number of pages||10|
|State||Published - 1987|
ASJC Scopus subject areas