1: \begin{thebibliography}{10}
2:
3: \bibitem{auguston02}
4: M.~Auguston, C.~Jeffery, and S.~Underwood.
5: \newblock A framework for automatic debugging.
6: \newblock In W.~Emmerich and D.~Wile, editors, {\em Proceedings fo the 17th
7: International Conference on Automated Software Engineering (ASE'02)}, pages
8: 217--222. IEEE Press, 2002.
9:
10: \bibitem{Outils:OPLstudio}
11: C.~Bracchi, C.~Gefflot, and F.~Paulin.
12: \newblock Combining propagation information and search-tree visualization using
13: {OPL} studio.
14: \newblock In A.~Kusalik, editor, {\em Proceedings of WLPE'01}, pages 27--39,
15: Cyprus, D\'ecembre 2001. Computer Research Repository cs.PL/0111040.
16:
17: \bibitem{bruegge83}
18: B.~Bruegge and P.~Hibbard.
19: \newblock Generalized path expressions: A high-level debugging mechanism.
20: \newblock {\em The Journal of Systems and Software}, 3:265--276, 1983.
21: \newblock Elsevier.
22:
23: \bibitem{gnuprolog}
24: D.~Diaz.
25: \newblock {\sc Gnu} prolog, 2003.
26: \newblock http://gprolog.sourceforge.net/.
27:
28: \bibitem{ducasse99c}
29: M.~Ducass\'{e}.
30: \newblock Coca: An automated debugger for {C}.
31: \newblock In {\em Proceedings of the 21st International Conference on Software
32: Engineering}, pages 504--513. ACM Press, May 1999.
33:
34: \bibitem{ducasse99}
35: M.~Ducass\'{e}.
36: \newblock Opium: An extendable trace analyser for {Prolog}.
37: \newblock {\em The Journal of Logic programming}, 39:177--223, 1999.
38: \newblock A. Bossi and Y. Deville (eds).
39:
40: \bibitem{wbxml}
41: Ericsson, IBM, Motorola, and {Phone.com}.
42: \newblock {WAP} binary {XML} content format.
43: \newblock Note, W3C, http://www.w3.org/TR/wbxml/, June 1999.
44:
45: \bibitem{fages02wlpe}
46: F.~Fages.
47: \newblock Clpgui: a generic graphical user interface for constraint logic
48: programming over finite domains.
49: \newblock In A.~Tessier, editor, {\em Proc. of the 12th Workshop on Logic
50: Programming Environments ({\sc Wlpe}'02)}. Computer Research Repository
51: cs.SE/0207048, 2002.
52:
53: \bibitem{csplib}
54: I.P. Gent and T.~Walsh.
55: \newblock {CSPLib}: a benchmark library for constraints.
56: \newblock Technical report, APES-09-1999, 1999.
57: \newblock Available from http://www.csplib.org/.
58:
59: \bibitem{hss04iclp}
60: David Hanák, Tamás Szeredi, and Péter Szeredi.
61: \newblock Fdbg, the clp(fd) debugger library of sicstus prolog.
62: \newblock In B.~Demoen and V.~Lifschitz, editors, {\em Proc. of {\sc Iclp}'04},
63: 2004.
64: \newblock Poster. LNCS 3132.
65:
66: \bibitem{JD02tplp}
67: E.~Jahier and M.~Ducass\'{e}.
68: \newblock Generic program monitoring by trace analysis.
69: \newblock {\em Theory and Practice of Logic Programming}, 2(4-5):611--643,
70: July-September 2002.
71:
72: \bibitem{langevine05aadebug}
73: L.~Langevine and M.~Ducassé.
74: \newblock A tracer driver for hybrid execution analyses.
75: \newblock In {\em AADEBUG'05}. ACM Press, 2005.
76:
77: \bibitem{langevine03}
78: L.~Langevine, M.~Ducass\'e, and P.~Deransart.
79: \newblock A propagation tracer for {Gnu-Prolog}: from formal definition to
80: efficient implementation.
81: \newblock In C.~Palamidessi, editor, {\em Proc. of the 19th Int. Conf. on Logic
82: Programming}. Springer, LNCS 2916, 2003.
83:
84: \bibitem{langevine05iclp}
85: Ludovic Langevine and the {OADymPPaC Team}.
86: \newblock Gentra4cp: a generic trace format for constraint programming.
87: \newblock In {\em 21th Int. Conf. on Logic Programming}, pages 433--434.
88: Springer, 2005.
89: \newblock Poster.
90:
91: \bibitem{reiss01}
92: S.P. Reiss and M.~Renieris.
93: \newblock Encoding program executions.
94: \newblock In M.-J. Harrold and W.~Schäfer, editors, {\em Proc. of the 23rd Int.
95: Conf. on Software Engineering}. IEEE Press, 2001.
96:
97: \bibitem{schulte97}
98: C.~Schulte.
99: \newblock Oz explorer: a visual constraint programming tool.
100: \newblock In L.~Naish, editor, {\em Proc. of the 14th Int. Conf. on Logic
101: Programming}, pages 286--300. MIT Press, 1997.
102:
103: \bibitem{somogyi99}
104: Z.~Somogyi and F.~Henderson.
105: \newblock The implementation technology of the {Mercury} debugger.
106: \newblock In {\em Proc. of the 10th WLPE}, volume 30(4). Elevier, ENTCS, 1999.
107:
108: \end{thebibliography}
109: