Using an ada-based abstract machine description of cais to generate validation tests

Timothy Lindquist, Jeffrey L. Facemire

Research output: Contribution to conferencePaper

Original languageEnglish (US)
Pages173-178
Number of pages6
DOIs
StatePublished - Mar 24 1985
Externally publishedYes
Event2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985 - Washington, United States
Duration: Mar 24 1985Mar 26 1985

Other

Other2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985
CountryUnited States
CityWashington
Period3/24/853/26/85

ASJC Scopus subject areas

  • Software

Cite this

Lindquist, T., & Facemire, J. L. (1985). Using an ada-based abstract machine description of cais to generate validation tests. 173-178. Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States. https://doi.org/10.1145/325612.325638