DocumentCode :
1000271
Title :
Applications of Symbolic Execution to Program Testing
Author :
Darringer, John A. ; King, James C.
Author_Institution :
IBM Thomas J. Watson Research Center
Volume :
11
Issue :
4
fYear :
1978
fDate :
4/1/1978 12:00:00 AM
Firstpage :
51
Lastpage :
60
Abstract :
The advanced method of symbolic evaluation can be applied to program testing situations with results close to those of formal correctness proofs–but without the high cost.
Keywords :
Algebra; Arithmetic; Automatic testing; Computer languages; Costs; Delay; Inspection; Performance evaluation; System testing; Terminology;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/C-M.1978.218139
Filename :
1646914
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1000271
بازگشت