DocumentCode
312985
Title
Automatic Checking of Instruction Specifications
Author
Fernandez, M. ; Ramsey, Norman
Author_Institution
AT&T Labs
fYear
1997
fDate
17-23 May 1997
Firstpage
326
Lastpage
336
Keywords
Application generators. Machine-code toolkit. Specification testing; Application software; Computer errors; Computer science; Decoding; Encoding; Programming profession; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1997., Proceedings of the 1997 International Conference on
Conference_Location
Boston, MA, USA
ISSN
0270-5257
Print_ISBN
0-89791-914-9
Type
conf
DOI
10.1109/ICSE.1997.610283
Filename
610283
Link To Document