Generic program monitoring by trace analysis

Theory and Practice of Logic Programming

Volumn 2, Issue 4-5, 2002, Pages 611-643

  Jahier, Erwan ^a   Ducassé, Mireille ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Automated debugging; Mercury; Monitoring; Test coverage; Trace analysis

Indexed keywords

EID: 0346041914     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068402001461     Document Type: Article

References (37)

1. Ball, T. and Larus, J. R. (1992) Optimally profiling and tracing programs. 19th ACM Symposium on Principles of Programming Languages, pp. 59-70.
2. Bates, P. C. (1995) Debugging heterogeneous distributed systems using event-based models of behavior. ACM Trans. Comput. Syst. 13(1), 1-31.
3. Beizer, B. (1990) Software Testing Techniques. 2nd ed. Int. Thomson Computer Press.
4. Bird, R. S. (1987) An introduction to the theory of lists. In: Broy, M. (ed.), Logic of Programming and Calculi of Discrete Design, pp. 3-42. Springer-Verlag.
5. Brooks, G., Hansen, G. J. and Simmons, S. (1992) A new approach to debugging optimized code. SIGPLAN'92 Conference on Programming Language Design and Implementation, pp. 1-11.
6. Byrd, L. (1980) Understanding the control flow of Prolog programs. In: Tränlund, S.-A. (ed.), Logic Programming Workshop, pp. 127-138.
7. Ducassé, M. (1999a) Coca: An automated debugger for C. Proceedings 21st Int. Conference on Software Engineering, pp. 504-513. ACM Press.
8. Ducassé, M. (1999b) Opium: An extendable trace analyser for Prolog. J. Logic Program. 39, 177-223. (Special issue on Synthesis, Transformation and Analysis of Logic Programs.)
9. Ducassé, M. and Noyé, J. (2000) Tracing Prolog programs by source instrumentation is efficient enough. J. Logic Program. 43(2), 157-172.
10. Eclipse (1999) The ECLiPSe Constraint Logic Programming System, ECLiPSe 4.1 - User Manual. IC.Parc. (http://www-icparc.doc.ic.ac.uk/eclipse/.)
11. Eisenstadt, M. and Brayshaw, M. (1988) The Transparent Prolog Machine TPM: an execution model and graphical debugger for Logic Programming. J. Logic Program. 5(4), 277-342.
12. Eustace, A. and Srivastava, A. (1995) ATOM: A flexible interface for building high performance program analysis tools. Winter 1995 USENIX Conference.
13. Fritzson, P., Auguston, M. and Shahmehri, N. (1994) Using assertions in declarative and operational models for automated debugging. J. Syst. Softw. 25, 223-239.
14. Gallagher, K. B. and Lyle, J. R. (1991) Using program slicing in software maintenance. IEEE Trans. Softw. Eng. 17(8), 751-761.
15. Hatton, L. (1997) Does OO sync with the way we think? IEEE Softw. 15(3), 46-54.
16. Howden, W. E. and Shi, G. M. (1996) Linear and structural event sequence analysis. In: Zeil, S. J. (ed.), Proceedings 1996 Int. Symposium on Software Testing and Analysis, pp. 98-106. ACM Press.
17. Hutton, G. (1999) A tutorial on the universality and expressiveness of fold. J. Functional Program. 355-372.
18. Jahier, E. (2000a) Analyse dynamique de programmes : mise en oeuvre automatisée d'analyseurs performants et spécification de modèles d'exécution. PhD thesis, INSA de Rennes. (Partly in English.)
19. Jahier, E. (2000b) Collecting graphical abstract views of Mercury program executions. Proceedings 4th Int. Workshop on Automated Debugging, pp. 100-115.
20. Jahier, E. and Ducassé, M. (1999) A generic approach to monitor program executions. In: De Schreye, D. (ed.), Int. Conference on logic programming, pp. 139-153. MIT Press.
21. Jahier, E. and Ducassé, M. (1999a) Morphine 0.2 User and Reference Manuals.
22. Jahier, E. and Ducassé, M. (1999b) Un traceur d'exécutions de programmes ne sert pas qu'au débogage. In: Fages, F. (ed.), Actes des Journées Francophones de Programmation Logique et par Contraintes, pp. 297-311. Hermès.
23. Jeffery, C. (1999) Program Monitoring and Visualization. Springer-Verlag.
24. Jeffery, C., Zhou, W., Templer, K. and Brazell, M. (1998) A lightweight architecture for program execution monitoring. ACM SIGPLAN Notices, 33(7), 67-74.
25. Kishon, A. and Hudak, P. (1995) Semantics directed program execution monitoring. J. Functional Program., 5(4), 501-547.
26. Kishon, A., Hudak, P. and Consel, C. (1991) Monitoring semantics: a formal framework for specifying, implementing and reasoning about execution monitors. ACM SIGPLAN Notices, 26(6), 338-352.
27. Koutsofios, E. and North, S. (1991) Drawing graphs with dot. TR 910904-59113-08TM, AT&T Bell Laboratories.
28. Olsson, R. A., Crawford, R. H. and Ho, W. W. (1990) Dalek: A GNU, improved programmable debugger. Summer 1990 USENIX Conference, pp. 221-232. USENIX Association.
29. Patil, H. and Fischer, C. (1997) Low-cost, concurrent checking of pointer and array accesses in C programs. Software-Practice & Exper. 27(1), 87-110.
30. Pfenning, F. (ed). (1992) Types in Logic Programming. MIT Press.
31. Somogyi, Z. and Henderson, F. (1999) The implementation technology of the Mercury debugger. Proceedings 10th Workshop on Logic Programming Environments. Electronic Notes in Theoretical Computer Science, 30(4), 35-49. Elsevier.
32. Somogyi, Z., Henderson, F. and Conway, T. (1996) The execution algorithm of Mercury, an efficient purely declarative logic programming language. J. Logic Program. 29, 17-64.
33. Stasko, J., Domingue, J., Brown, M. H. and Price, B. A. (eds). (1998) Software Visualization: Programming as a multimedia experience. MIT Press.
34. Templer, K. S. and Jeffery, C. L. (1998) A configurable automatic instrumentation tool for ANSI C. Proceedings Automated Software Engineering Conference, pp. 249-259. IEEE Press.
35. Tip, F. (1995) Generic techniques for source-level debugging and dynamic program slicing. In: Mosses, P. D., Nielsen, M. and Schwartzbach, M. I. (eds.), TAPSOFT '95: Theory and Practice of Software Development. LNCS 915, pp. 516-530. Springer-Verlag.
36. Tolmach, A. and Appel, A. W. (1995) A debugger for Standard ML. J. Functional Program. 5(2), 155-200.
37. Van Roy, P. and Despain, A. M. (1992) High-performance logic programming with the Aquarius Prolog compiler. Computer, 25(1), 54-68.