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

Timothy E. Lindquist; Jeffrey L. Facemire

doi:10.1145/325612.325638

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

Timothy E. Lindquist, Jeffrey L. Facemire

Research output: Contribution to conference › Paper › peer-review

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/Territory	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

@conference{1128b4dd9ec2419e8fc5f7057692ae33,

title = "Using an ada-based abstract machine description of cais to generate validation tests",

author = "Lindquist, {Timothy E.} and Facemire, {Jeffrey L.}",

note = "Funding Information: This research was supported by the Ada Joint Program Office through the Office of Naval Research Information Sciences Division under ONR contract number N00014-83-K-0643. The effort was under the technical direction of V.L. Castor Wright-Patterson AFB, Ohio. Reproduction in whole or in part is permitted for any purpose of the United States Government. The views expressed heroin are solely those of the authors.; 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",

year = "1985",

month = mar,

day = "24",

doi = "10.1145/325612.325638",

language = "English (US)",

pages = "173--178",

}

TY - CONF

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

AU - Lindquist, Timothy E.

AU - Facemire, Jeffrey L.

N1 - Funding Information: This research was supported by the Ada Joint Program Office through the Office of Naval Research Information Sciences Division under ONR contract number N00014-83-K-0643. The effort was under the technical direction of V.L. Castor Wright-Patterson AFB, Ohio. Reproduction in whole or in part is permitted for any purpose of the United States Government. The views expressed heroin are solely those of the authors.

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 -

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

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this