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 条
  • [1] ASSERTIONAL CHECKING AND SYMBOLIC EXECUTION: AN EFFECTIVE COMBINATION FOR DEBUGGING.
    Adams, J.Mack
    Armstrong, James
    Smartt, Melissa
    Proceedings of the Annual Conference of the Association for Computing Machinery, 1979, : 152 - 156
  • [2] JDB: AN ADAPTABLE INTERFACE FOR DEBUGGING.
    Winder, Russel
    Nicolson, Joe
    Software - Practice and Experience, 1988, 18 (03) : 221 - 238
  • [3] Advanced techniques for RTL debugging.
    Hsu, YC
    Tabbara, B
    Chen, YA
    Tsai, FS
    40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 370 - 373
  • [4] BINARY TO DECIMAL SIMPLIFIES MICROPROCESSOR DEBUGGING.
    Robinson, D.A.
    New Electronics, 1978, 11 (17):
  • [5] Special Issue on Program Verification, Automated Debugging and Symbolic Computation Foreword
    Jebelean, Tudor
    Li, Wei
    Wang, Dongming
    JOURNAL OF SYMBOLIC COMPUTATION, 2017, 80 : 1 - 3
  • [6] Symbolic Debugging with Gillian
    Karmios, Nat
    Ayoun, Sacha-Elie
    Gardner, Philippa
    PROCEEDINGS OF THE 1ST ACM INTERNATIONAL WORKSHOP ON FUTURE DEBUGGING TECHNIQUES, DEBT 2023, 2023, : 1 - 2
  • [7] SYMBOLIC DEBUGGING OF OPTIMIZED CODE
    HENNESSY, J
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03): : 323 - 344
  • [8] Symbolic debugging of embedded hardware and software
    Koushanfar, F
    Kirovski, D
    Hong, I
    Potkonjak, M
    Papaefthymiou, MC
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2001, 20 (03) : 392 - 401
  • [9] SYMBOLIC DEBUGGING OF OPTIMIZED CODE - NOTE
    WALL, D
    SRIVASTAVA, A
    TEMPLIN, F
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 176 - 181
  • [10] AUTOMATION OF PROGRAM DEBUGGING
    JACOBY, K
    LAYTON, H
    COMMUNICATIONS OF THE ACM, 1961, 4 (07) : 306 - 306
12345