SYMBOLIC EXECUTION AND PROGRAM TESTING

[1] BOYER RS, 1975, 1975 P INT C REL SOF, P234

[2] CLARKE L, 1975, CUCS06075 U COL DEP

[3] DARLINGTON J, 1972, THESIS U EDINBURGH

[4] Elspas B., 1972, Computing Surveys, V4, P97, DOI 10.1145/356599.356602

[5] Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[6] PROVING PROGRAMS TO BE CORRECT [J]. IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (11) : 1331 - &

[7] KING JC, 1972, J COMPUTER SYSTEM SC, V6, P305

[8] KING JC, 1971, P IFIP C, V71, P235

[9] KING JC, 1975, 1975 P INT C REL SOF, P228

[10] KRAUS KW, 1973, APR IEEE S SOFTW REL, P18

[1] BOYER RS, 1975, 1975 P INT C REL SOF, P234

[2] CLARKE L, 1975, CUCS06075 U COL DEP

[3] DARLINGTON J, 1972, THESIS U EDINBURGH

[4] Elspas B., 1972, Computing Surveys, V4, P97, DOI 10.1145/356599.356602

[5] Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[6] PROVING PROGRAMS TO BE CORRECT [J]. IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (11) : 1331 - &

[7] KING JC, 1972, J COMPUTER SYSTEM SC, V6, P305

[8] KING JC, 1971, P IFIP C, V71, P235

[9] KING JC, 1975, 1975 P INT C REL SOF, P228

[10] KRAUS KW, 1973, APR IEEE S SOFTW REL, P18