Cause clue clauses: error localization using maximum satisfiability

@article{Jose2011CauseCC,
  title={Cause clue clauses: error localization using maximum satisfiability},
  author={Manu Jose and R. Majumdar},
  journal={ArXiv},
  year={2011},
  volume={abs/1011.1589}
}
Much effort is spent by programmers everyday in trying to reduce long, failing execution traces to the cause of the error. We present an algorithm for error cause localization based on a reduction to the maximal satisfiability problem (MAX-SAT), which asks what is the maximum number of clauses of a Boolean formula that can be simultaneously satisfied by an assignment. At an intuitive level, our algorithm takes as input a program and a failing test, and comprises the following three steps. First… Expand
Exploration of the scalability of LocFaults
To be precise: regression aware debugging
Assumption-based Reasoning with Constraints for Diagnosing Program Errors
  • Fei Pu
  • Mathematics, Computer Science
  • J. Comput.
  • 2014
Concolic Fault Abstraction
Concurrency Debugging with MaxSMT
...
1
2
3
4
5
...

References

SHOWING 1-2 OF 2 REFERENCES
Automated Fault Localization for C Programs
A Tool for Checking ANSI-C Programs