Generalized algorithmic debugging and testing-Reference-Cited by-同舟云学术

Generalized algorithmic debugging and testing

Published:1991-06 Issue:6 Volume:26 Page:317-326
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Fritzson Peter¹,Gyimothy Tibor²,Kamkar Mariam¹,Shahmehri Nahid¹

Affiliation:

1. Department of Computer and Information Science, Linköping University, S-581 83 Linköping, Sweden

2. Research Group on the Theory of Automata, Hungarian Academy of Sciences, H-6720 Szeged, Aradi vertanuk tere 1, Hungary

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Reference20 articles.

1. J.P. Banning: A Method for Determining the Side Effects of Procedure Calls. Ph.D. Thesis. Stanford University 1978. J.P. Banning: A Method for Determining the Side Effects of Procedure Calls. Ph.D. Thesis. Stanford University 1978.

2. An efficient way to find the side effects of procedure calls and the aliases of variables

3. P. Fritzson: Symbolic Debugging Through Incremental Compilation in an Integrated Environment. The Journal of Systems and Software 3 pages 285-294 1983. P. Fritzson: Symbolic Debugging Through Incremental Compilation in an Integrated Environment. The Journal of Systems and Software 3 pages 285-294 1983.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. How Programmers Debug, Revisited: An Information Foraging Theory Perspective;IEEE Transactions on Software Engineering;2013-02

2. Hypertext support for the information needs of software maintainers;Journal of Software Maintenance and Evolution: Research and Practice;2004-05

3. FIND: Automated debugging assistant system;Systems and Computers in Japan;1997-04

4. Algorithmic debugging for lazy functional languages;Journal of Functional Programming;1994-07

5. PREDULA a multi-paradigm parallel programming and debugging environment;Microprocessing and Microprogramming;1992-02