SYMBOLIC PROGRAM DEBUGGING.

被引：0

作者：

Duyck, Bob

Hawkins, Doug

机构：

来源：

Conference Record - Midcon | 1980年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Symbolic debugging attempts to make debugging a more natural process for the programmer. This process requires information available during one step of the debug cycle to be shared between other steps. Only with this transfer of information can the programmer be allowed to construct an environment which will aid in the efficient and timely testing of a software program.

引用

共 50 条

[31] The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
Martin Hentschel
Richard Bubel
Reiner Hähnle
International Journal on Software Tools for Technology Transfer, 2019, 21 : 485 - 513
[32] The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
Hentschel, Martin
Bubel, Richard
Haehnle, Reiner
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (05) : 485 - 513
[33] Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging
Silva, Josep
AI COMMUNICATIONS, 2008, 21 (01) : 91 - 92
[34] AN EXPERT SYSTEM FOR COBOL PROGRAM DEBUGGING
LITECKY, C
DATA BASE, 1989, 20 (01): : 1 - 6
[35] A reified interface for a tutor on program debugging
Kumar, AN
3RD IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS, 2003, : 190 - 194
[36] CIRCUIT STEPS PROGRAM FOR 8080 DEBUGGING
WAKERLY, JF
ELECTRONICS, 1976, 49 (16): : 110 - 111
[37] THE ACTIVITY OF COMPARING REPRESENTATIONS IN PROGRAM DEBUGGING
VISSER, W
TRAVAIL HUMAIN, 1988, 51 (04): : 351 - 362
[38] PROGRAM DEBUGGING WITH PASCAL-64000
MCDONLEY, PA
HEWLETT-PACKARD JOURNAL, 1980, 31 (10): : 22 - 23
[39] Localizing program errors for cimple debugging
Basu, S
Saha, D
Smolka, SA
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 79 - 96
[40] Reversible debugging using program instrumentation
Chen, SK
Fuchs, WK
Chung, JY
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (08) : 715 - 727

← 1 2 3 4 5 →