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

Timothy Lindquist; Jeffrey L. Facemire

doi:10.1145/325612.325638

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

Timothy Lindquist, Jeffrey L. Facemire

Research output: Contribution to conference › Paper

Original language	English (US)
Pages	173-178
Number of pages	6
DOIs	https://doi.org/10.1145/325612.325638
State	Published - Mar 24 1985
Externally published	Yes
Event	2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985 - Washington, United States Duration: Mar 24 1985 → Mar 26 1985

Other

Other	2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985
Country	United States
City	Washington
Period	3/24/85 → 3/26/85

ASJC Scopus subject areas

Software

Access to Document

10.1145/325612.325638

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

@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 = mar,

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

T2 - 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985

Y2 - 24 March 1985 through 26 March 1985

ER -