Author:
Korel Bogdan,Rilling Jurgen
Subject
Computer Science Applications,Information Systems,Software
Reference36 articles.
1. H. Agrawal, Towards automatic debugging of computer programs, technical report SERTC-TR-40-P, Purdue University, 1989.
2. H. Agrawal, J. Horgan, Dynamic program slicing, in: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, 1990, pp. 246–256 (SIGPLAN Notices 25(6))
3. Debugging with dynamic slicing and backtracking;Agrawal;Software—Practice and Experience,1993
4. T. Ball, S. Horwitz, Slicing programs with arbitrary control-flow, in: Proceedings of the 1st International Workshop on Automated and Algorithmic Debugging, Lecture Notes in Computer Science, Vol. 749, Springer, Berlin, 1993, pp. 206–222.
5. Information-flow and data-flow analysis of while-programs;Bergeretti;ACM Transactions on Programming Languages and Systems,1985
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Programs with Common Fragments;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
2. SFLVis: visual analysis of software fault localization;Journal of Visualization;2024-04-02
3. Enabling useful provenance in scripting languages with a human-in-the-loop;Proceedings of the Workshop on Human-In-the-Loop Data Analytics;2022-06-12
4. The Systematic Design of Responsibility Analysis by Abstract Interpretation;ACM Transactions on Programming Languages and Systems;2022-03-31
5. A Method to Comprehend Feature Dependencies Based on Semi-Static Structures;2021 IEEE International Conference on Software Maintenance and Evolution (ICSME);2021-09