Dynamic Value-Based Diagnosis System for Assembler Program
暂无分享,去创建一个
[1] Franz Wotawa,et al. Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages , 1996 .
[2] Mark Weiser,et al. Programmers use slices when debugging , 1982, CACM.
[3] Markus Stumptner,et al. Debugging Functional Programs , 1999, IJCAI.
[4] Gregory William Bond. Logic programs for consistency-based diagnosis , 1994 .
[5] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[6] Joe D. Warren,et al. The program dependence graph and its use in optimization , 1984, TOPL.
[7] Daniel Jackson. Aspect: detecting bugs with abstract dependences , 1995, TSEM.
[8] Lisa J. Burnell. A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging , 1993, UAI.
[9] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .
[10] Gérard Ferrand. Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method , 1987, J. Log. Program..
[11] Daniele Theseider Dupré,et al. Model-Based Diagnosis Meets Error Diagnosis in Logic Programs , 1993, IJCAI.
[12] Franz Wotawa,et al. A Value-Based Diagnosis Model for Java Programs , 2000 .
[13] Mark Harman,et al. A Parallel Algorithm for Static Program Slicing , 1995, Inf. Process. Lett..
[14] Franz Wotawa,et al. On the relationship between model-based debugging and program slicing , 2002, Artif. Intell..
[15] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..
[16] Li Lin,et al. The computation of hitting sets: Review and new algorithms , 2003, Inf. Process. Lett..
[17] Jehad Al Dallal,et al. Dynamic data flow analysis for Java programs , 2000, Inf. Softw. Technol..
[18] Joseph Robert Horgan,et al. Dynamic program slicing , 1990, PLDI '90.
[19] Eric Horvitz,et al. Structure and chance: melding logic and probability for software debugging , 1995, CACM.
[20] Brian C. Williams,et al. Diagnosing Multiple Faults , 1987, Artif. Intell..
[21] David W. Binkley,et al. Interprocedural slicing using dependence graphs , 1988, SIGP.
[22] Bogdan Korel,et al. Application of Dynamic Slicing in Program Debugging , 1997, AADEBUG.
[23] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[24] Ron I. Kuper. Dependency-Directed Localization of Software Bugs , 1989 .