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

Using an ada-based abstract machine description of cais to generate validation tests. / Lindquist, Timothy; Facemire, Jeffrey L.

1985. 173-178 Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States.

Research output: Contribution to conferencePaper

Lindquist, T & Facemire, JL 1985, 'Using an ada-based abstract machine description of cais to generate validation tests', Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States, 3/24/85 - 3/26/85 pp. 173-178. https://doi.org/10.1145/325612.325638
Lindquist T, Facemire JL. Using an ada-based abstract machine description of cais to generate validation tests. 1985. 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
Lindquist, Timothy ; Facemire, Jeffrey L. / Using an ada-based abstract machine description of cais to generate validation tests. Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States.6 p.
@conference{1128b4dd9ec2419e8fc5f7057692ae33,
title = "Using an ada-based abstract machine description of cais to generate validation tests",
author = "Timothy Lindquist and Facemire, {Jeffrey L.}",
year = "1985",
month = "3",
day = "24",
doi = "10.1145/325612.325638",
language = "English (US)",
pages = "173--178",
note = "2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985 ; Conference date: 24-03-1985 Through 26-03-1985",

}

TY - CONF

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

AU - Lindquist, Timothy

AU - Facemire, Jeffrey L.

PY - 1985/3/24

Y1 - 1985/3/24

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

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

U2 - 10.1145/325612.325638

DO - 10.1145/325612.325638

M3 - Paper

AN - SCOPUS:85051344951

SP - 173

EP - 178

ER -