A Pragmatic Survey of Automated Debugging

@inproceedings{Ducass1993APS,
  title={A Pragmatic Survey of Automated Debugging},
  author={Mireille Ducass{\'e}},
  booktitle={AADEBUG},
  year={1993}
}
This article proposes a structuring view of the area of automated debugging. Nineteen automated debugging systems are analyzed. Thirteen existing automated debugging techniques are brieey evaluated from a pragmatic point of view. The three underlying strategies are identiied, namely veriication with respect to speciication, checking with respect to language knowledge and ltering with respect to symptom. The veriication strategy compares the actual program with some formal speciication of the… CONTINUE READING
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

97 Citations

0510'95'00'06'12'18
Citations per Year
Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-10 OF 33 REFERENCES

Similar Papers

Loading similar papers…