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 -