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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=312985
بازگشت