article

Free access

Generalized algorithmic debugging and testing

Authors:

Peter Fritzson,

Tibor Gyimothy,

Mariam Kamkar,

Nahid ShahmehriAuthors Info & Claims

ACM SIGPLAN Notices, Volume 26, Issue 6

Pages 317 - 326

https://doi.org/10.1145/113446.113472

Published: 01 May 1991 Publication History

PDF eReader

References

[1]

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

Digital Library

Google Scholar

[2]

J.P. Banning: An Efficient Way to Find the Side-Effects of Procedure Calls and the Aliases of Variables. Conf. Record of the Sixth Annual ACM SIGPLAN/SIGSOFT Symposium on POPL. Pages 29- 41, January 1979.

Digital Library

Google Scholar

[3]

W. Drabent, S. Nadjm-Tehrani and J. Maluszynski: The Use of Assertions in Algorithmic Debugging. Proceeding of the FGCS conference, Tokyo, pages 573-581, 1988.

Google Scholar

[4]

M. Ducass~ and A. M. Emde: State of the Art in Automated Program Debugging. TR-LP-25, European Computer-Industry, Research Center GmbH, West Germany, September 1987.

Google Scholar

[5]

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

Google Scholar

[6]

Susan Horwitz, Thomas Reps and David Binkley: Interprocedural Slicing using Dependence Graphs. ACM Transactions on Programming Languages and Systems, Vol. 12, No. 1, pages 26-61, January 1990.

Digital Library

Google Scholar

[7]

M. Kamkar, N. Shahmehri, P. Fritzson: Bug Localization by Algorithmic Debuggh,g and Program Slicing. In Proc. of the Int. Conf. on Programming Language Implementation and Logic Programming, Aug t990, LNCS 456, Springer-Verlag 1990.

Digital Library

Google Scholar

[8]

M. Kamkar: An Overview of Static and Dynamic Slicing. Research Report, Department of Computer and Information Science, Link6ping University, Sweden, 1991.

Google Scholar

[9]

M. Kamkar: Interprocedural Dynamic Slicing. Research Report, Department of Computer and information Science, Link6ping University, Sweden, 1991.

Google Scholar

[10]

Bj6m Lisper: Single-Assignment Semantics for Imperative Programs. Lecture Notes in Computer Science, No. 366, PARLE'89, Vol. II, pages 321-334.

Digital Library

Google Scholar

[11]

James R. Lyle, Mark Weiser: Automatic Program Bug Location by Program Slicing. In 2:nd iEEE Symposium on Computers and Applications, Peking, pages 877-883, June 1987.

Google Scholar

[12]

Thomas J. Ostrand, Marc J. Balcer: The Category-Partition Method for Specifying and Generating Functional Tests. CACM 31:6, June 1988.

Digital Library

Google Scholar

[13]

Rudolph E. Seviora: Knowledge-Based Program Debugging Systems. IEEE Software, Vol. 4 No. 3, May 1987.

Google Scholar

[14]

Nahid Shahmehri and Peter Fritzson: Algorithmic Debugging for Imperative Languages with Side-effects. LiTH-IDA-R-89-49, Department of Computer and information Science, Link6ping University, Sweden, November 1989.

Google Scholar

[15]

N. Shahmehri, M. Kamkar and P. Fritzson: Semi-automatic Bug Localization in Software Maintenance. Proc. of IEEE Conf. on Soft. Maintenance. San Diego, Nov 26-29,1990.

Google Scholar

[16]

N. Shahmehri: Generalized Algorithmic Debugging. (provisional title). PhD thesis in preparation. Department of Computer and Information Science, Link6ping University, Sweden, 1991.

Google Scholar

[17]

E. Y. Shapiro: Algorithmic Program Debugging. MIT press. 1983.

Digital Library

Google Scholar

[18]

R. Szucs and T. Gyimothy: T-GEN test case generator. User's Guide. Cogito Ltd. Szeged, Hungary.

Google Scholar

[19]

J. Toczki, F.Kocsis,T.Gyimothy, G.Danyi and G.Kokai: SYS/3 - a Software Development Tool. Proc. of CC'90. Schwerin, Germany, October 1990. Pages 299-313. Part of this proceedings will appear in the LNCS series by Springer-Vefiag during 1991.

Digital Library

Google Scholar

[20]

Mark Weiser: Program Slicing. IEEE Transactions on Software Engineering, Vol. Se-10, No. 4, pages 352-357, July 1984.

Digital Library

Google Scholar

Cited By

View all

Nilsson HFritzson P(2008)Algorithmic debugging for lazy functional languagesJournal of Functional Programming10.1017/S095679680000109X4:3(337-369)Online publication date: 7-Nov-2008
https://doi.org/10.1017/S095679680000109X
Lu LHaddad HOmicini AWainwright R(2005)Use of correctness assertions in declarative diagnosisProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1066995(1404-1408)Online publication date: 13-Mar-2005
https://dl.acm.org/doi/10.1145/1066677.1066995
Ohta TKinoshita HKimata TMizuno T(2001)A framework of an assertion-based algorithmic debugging for distributed programsProceedings 15th International Conference on Information Networking10.1109/ICOIN.2001.905446(319-324)Online publication date: 2001
https://doi.org/10.1109/ICOIN.2001.905446
Show More Cited By

Index Terms

Generalized algorithmic debugging and testing
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Traceability
      2. Software defect analysis
        Software testing and debugging
2. Theory of computation
  1. Logic
    1. Logic and verification

Recommendations

Generalized algorithmic debugging and testing

This paper presents a method for semi-automatic bug localization, generalized algorithmic debugging, which has been integrated with the category partition method for functional testing. In this way the efficiency of the algorithmic debugging method for ...
A Generalized Model for Algorithmic Debugging
LOPSTR 2015: Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 9527

Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step forward compared to the state of the ...
Implementation of an Optimal Strategy for Algorithmic Debugging

One of the most automatic debugging techniques is Algorithmic Debugging because it allows us to debug a program without the need to inspect the source code. In order to find a bug, an algorithmic debugger asks questions to the programmer about the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 26, Issue 6

June 1991

352 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/113446

Editor:
Richard L. Wexelblat
IDA/CSED, Alexandria, VA

Issue’s Table of Contents

PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
May 1991
356 pages
ISBN:0897914287
DOI:10.1145/113445
Chairman:
David S. Wise
Indiana Univ., Bloomington

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1991

Published in SIGPLAN Volume 26, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

37
Total Citations
View Citations
615
Total Downloads

Downloads (Last 12 months)145
Downloads (Last 6 weeks)25

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Nilsson HFritzson P(2008)Algorithmic debugging for lazy functional languagesJournal of Functional Programming10.1017/S095679680000109X4:3(337-369)Online publication date: 7-Nov-2008
https://doi.org/10.1017/S095679680000109X
Lu LHaddad HOmicini AWainwright R(2005)Use of correctness assertions in declarative diagnosisProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1066995(1404-1408)Online publication date: 13-Mar-2005
https://dl.acm.org/doi/10.1145/1066677.1066995
Ohta TKinoshita HKimata TMizuno T(2001)A framework of an assertion-based algorithmic debugging for distributed programsProceedings 15th International Conference on Information Networking10.1109/ICOIN.2001.905446(319-324)Online publication date: 2001
https://doi.org/10.1109/ICOIN.2001.905446
Xinjun ZTashiro YTakata HFujii TYamamuro MKasai DShimomura T(1999)An Approach to Automated Program Testing and DebuggingProceedings of the Sixth Asia Pacific Software Engineering Conference10.5555/518898.785667Online publication date: 7-Dec-1999
https://dl.acm.org/doi/10.5555/518898.785667
Ohta TMizuno T(1999)Towards an Algorithmic Debugging for Distributed ProgramsProceedings of the Sixth Asia Pacific Software Engineering Conference10.5555/518898.785656Online publication date: 7-Dec-1999
https://dl.acm.org/doi/10.5555/518898.785656
Zhang Xinjun Tashiro YTakata HFujii TYamamuro MKasai DShimomura T(1999)An approach to automated program testing and debuggingProceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509)10.1109/APSEC.1999.809653(582-589)Online publication date: 1999
https://doi.org/10.1109/APSEC.1999.809653
Ohta TMizuno T(1999)Towards an algorithmic debugging for distributed programsProceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509)10.1109/APSEC.1999.809633(426-433)Online publication date: 1999
https://doi.org/10.1109/APSEC.1999.809633
Shimomura T(1997)FIND: Automated debugging assistant systemSystems and Computers in Japan10.1002/(SICI)1520-684X(199704)28:4<1::AID-SCJ1>3.0.CO;2-M28:4(1-11)Online publication date: Apr-1997
https://doi.org/10.1002/(SICI)1520-684X(199704)28:4<1::AID-SCJ1>3.0.CO;2-M
Okie EArthur JKwasny SBuck J(1993)Implicit-specification errors and automatic, trace-based debuggingProceedings of the 1993 ACM conference on Computer science10.1145/170791.170797(23-29)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/170791.170797
Reiss S(1993)Trace-based debuggingAutomated and Algorithmic Debugging10.1007/BFb0019416(305-314)Online publication date: 1993
https://doi.org/10.1007/BFb0019416
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations