Symbolic execution debugger (SED)

被引：12

作者：

Hentschel, Martin ^{[1
]}

Bubel, Richard ^{[1
]}

Hähnle, Reiner ^{[1
]}

机构：

[1] TU Darmstadt, Dept. of Computer Science, Darmstadt

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8734卷

关键词：

Debugging; Program Execution Visualization; Symbolic Execution;

D O I：

10.1007/978-3-319-11164-3_21

中图分类号：

学科分类号：

摘要：

We present the Symbolic Execution Debugger for sequential Java programs. Being based on symbolic execution, its functionality goes beyond that of traditional interactive debuggers. For instance, debugging can start directly at any method or statement and all program execution paths are explored simultaneously. To support program comprehension, execution paths as well as intermediate states are visualized. © Springer International Publishing Switzerland 2014.

引用

页码：255 / 262

页数：7

共 12 条

[1]

Albert E., Cabanas I., Flores-Montoya A., Gomez-Zamalloa M., Gutierrez S., JPET: An Automatic Test-Case Generator for Java, Proc. Of the 18Th Working Conf. On Reverse Engineering, WCRE 2011, pp. 441-442, (2011)

[2]

Verification of Object-Oriented Software, LNCS (LNAI), 4334, (2007)

[3]

Boyer R.S., Elspas B., Levitt K.N., SELECT—A formal system for testing and debugging programs by symbolic execution, ACM SIGPLAN Notices, 10, 6, pp. 234-245, (1975)

[4]

Burstall R.M., Program proving as hand simulation with a little induction, Information Processing 1974, pp. 308-312, (1974)

[5]

Grottke M., Trivedi K.S., A classification of software faults, Journal of Reliability Engineering Association of Japan, 27, 7, pp. 425-438, (2005)

[6]

Hahnle R., Baum M., Bubel R., Rothe M., A visual interactive debugger based on symbolic execution, ASE, pp. 143-146, (2010)

[7]

Ibing A., Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan, ICTSS 2013. LNCS, 8254, pp. 196-206, (2013)

[8]

Jacobs B., Smans J., Philippaerts P., Vogels F., Penninckx W., Piessens F., VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java, NFM 2011. LNCS, 6617, pp. 41-55, (2011)

[9]

Katz S., Manna Z., Towards automatic debugging of programs, Proc. Of the Intl. Conf. On Reliable Software, Los Angeles, pp. 143-155, (1975)

[10]

King J.C., Symbolic Execution and Program Testing, Communications of the ACM, 19, 7, pp. 385-394, (1976)

← 1 2 →