A brief survey of program slicing
B Xu, J Qian, X Zhang, Z Wu, L Chen - ACM SIGSOFT Software …, 2005 - dl.acm.org
Program slicing is a technique to extract program parts with respect to some special
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …
A survey on software fault localization
Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …
[图书][B] Handbook of knowledge representation
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
An evaluation of similarity coefficients for software fault localization
R Abreu, P Zoeteweij… - 2006 12th Pacific Rim …, 2006 - ieeexplore.ieee.org
Automated diagnosis of software faults can improve the efficiency of the debugging process,
and is therefore an important technique for the development of dependable software. In this …
and is therefore an important technique for the development of dependable software. In this …
Consistency-based diagnosis of configuration knowledge bases
Configuration problems are a thriving application area for declarative knowledge
representation that currently experiences a constant increase in size and complexity of …
representation that currently experiences a constant increase in size and complexity of …
Software fault localization: An overview of research, techniques, and tools
This chapter describes traditional and intuitive fault localization techniques, including
program logging, assertions, breakpoints, and profiling. Many advanced fault localization …
program logging, assertions, breakpoints, and profiling. Many advanced fault localization …
Error explanation with distance metrics
In the event that a system does not satisfy a specification, a model checker will typically
automatically produce a counterexample trace that shows a particular instance of the …
automatically produce a counterexample trace that shows a particular instance of the …
Error explanation with distance metrics
A Groce - International Conference on Tools and Algorithms for …, 2004 - Springer
In the event that a system does not satisfy a specification, a model checker will typically
automatically produce a counterexample trace that shows a particular instance of the …
automatically produce a counterexample trace that shows a particular instance of the …
Evaluating models for model-based debugging
W Mayer, M Stumptner - 2008 23rd IEEE/ACM International …, 2008 - ieeexplore.ieee.org
Developing model-based automatic debugging strategies has been an active research area
for several years, with the aim of locating defects in a program by utilising fully automated …
for several years, with the aim of locating defects in a program by utilising fully automated …
A formula-based approach for automatic fault localization of multi-fault programs
SM Lamraoui, S Nakajima - Journal of Information Processing, 2016 - jstage.jst.go.jp
Formula-based fault localization approach is an algorithmic method that is able to provide
fine-grained information account for identified root causes. The method combines the SAT …
fine-grained information account for identified root causes. The method combines the SAT …