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

Timothy E. Lindquist, Jeffrey L. Facemire

Research output: Contribution to conferencePaperpeer-review

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