Out of the four papers ([Burstall, 1974, Boyer et al., 1975, Katz and Manna, 1975, King, 1976]) that independently introduced symbolic execution as a program analysis technique during the mid 1970s, no less than three mention debugging as a motivation. Indeed, symbolic execution has a number of natural properties that make it attractive in helping to debug programs.
CITATION STYLE
Hentschel, M., Hähnle, R., & Bubel, R. (2016). Debugging and visualization. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10001 LNCS, pp. 383–413). Springer Verlag. https://doi.org/10.1007/978-3-319-49812-6_11
Mendeley helps you to discover research relevant for your work.