Using conditional trace slicing for improving Maude programs

Science of Computer Programming

Volumn 80, Issue PART B, 2014, Pages 385-415

  Alpuente, María ^a   Ballis, Demis ^b   Frechina, Francisco ^a   Romero, Daniel ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Program debugging and comprehension; Rewriting logic; Trace slicing

Indexed keywords

BUG LOCALIZATIONS; EXECUTION TRACE; MAUDE LANGUAGES; QUERYING MECHANISMS; REWRITING LOGIC; SLICING CRITERION; TRACE SLICING;

COMPUTER PROGRAMMING; SOFTWARE ENGINEERING;

PROGRAM DIAGNOSTICS;

EID: 84889879701     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2013.09.018     Document Type: Article

References (40)

1. F. Chen, and G. Roşu Parametric trace slicing and monitoring Proceedings of the 15th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2009) Lect. Notes Comput. Sci. vol. 5505 2009 Springer-Verlag 246 261
2. M. Alpuente, D. Ballis, J. Espert, F. Frechina, and D. Romero Debugging of Web applications with WEB-TLR Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) Electronic Proceedings in Theoretical Computer Science (EPTCS) vol. 61 2011 Open Publishing Association 66 80
3. M.A. Francel, and S. Rugaber The value of slicing while debugging Sci. Comput. Program. 40 2001 151 169 (Pubitemid 32457473)
4. M. Baggi, D. Ballis, and M. Falaschi Quantitative pathway logic for computational biology Proceedings of the 7th International Conference on Computational Methods in Systems Biology (CMSB 2009) Lect. Notes Comput. Sci. vol. 5688 2009 Springer-Verlag 68 82
5. M. Alpuente, D. Ballis, J. Espert, and D. Romero Model-checking Web applications with Web-TLR Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010) Lect. Notes Comput. Sci. vol. 6252 2010 Springer-Verlag 341 346
6. M. Alpuente, D. Ballis, and D. Romero Specification and verification of Web applications in rewriting logic Proceedings of the 16th International Symposium on Formal Methods (FM 2009) Lect. Notes Comput. Sci. vol. 5850 2009 Springer-Verlag 790 805
7. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott Maude manual (Version 2.6) Technical Report, SRI International Computer Science Laboratory 2011 available at http://maude.cs. uiuc.edu/maude2-manual/
8. N. Martí-Oliet, M. Palomino, and A. Verdejo Rewriting logic bibliography by topic: 19902011 J. Log. Algebr. Program. 81 2012 782 815
9. M. Alpuente, D. Ballis, J. Espert, and D. Romero Backward trace slicing for rewriting logic theories Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011) Lect. Notes Comput. Sci. vol. 6803 2011 Springer-Verlag 34 48
10. M. Alpuente, D. Ballis, F. Frechina, and D. Romero Backward trace slicing for conditional rewrite theories Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2012) Lect. Notes Comput. Sci. vol. 7180 2012 Springer-Verlag 62 76
11. M. Alpuente, D. Ballis, F. Frechina, and D. Romero Julienne: A trace slicer for conditional rewrite theories Proceedings of the 18th International Symposium on Formal Methods (FM 2012) Lect. Notes Comput. Sci. vol. 7436 2012 Springer-Verlag 28 32
12. M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña Slicing-based trace analysis of rewriting logic specifications with iJulienne Proceedings of the 22nd European Symposium on Programming (ESOP 2013) Lect. Notes Comput. Sci. vol. 7792 2013 Springer-Verlag 121 124
13. TeReSe Term Rewriting Systems 2003 Cambridge University Press
14. B. Korel, and J. Laski Dynamic program slicing Inf. Process. Lett. 29 1988 155 163
15. J. Meseguer Conditional rewriting logic as a unified model of concurrency Theor. Comput. Sci. 96 1992 73 155
16. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott All About Maude: A High-Performance Logical Framework 2007 Springer-Verlag
17. J. Klop Term rewriting systems S. Abramsky, D. Gabbay, T. Maibaum, Handbook of Logic in Computer Science vol. I 1992 Oxford University Press 1 112
18. R. Bruni, and J. Meseguer Semantic foundations for generalized rewrite theories Theor. Comput. Sci. 360 2006 386 414 (Pubitemid 44148903)
19. F. Durán, and J. Meseguer A maude coherence checker tool for conditional order-sorted rewrite theories Proceedings of the 8th International Workshop on Rewriting Logic and Its Applications (WRLA 2010) Lect. Notes Comput. Sci. vol. 6381 2010 Springer-Verlag 86 103
20. G.D. Plotkin The origins of structural operational semantics J. Log. Algebr. Program. 60-61 2004 3 15
21. iJulienne The iJulienne Web site available at http://safe-tools.dsic.upv. es/iJulienne 2012
22. M. Weiser Program slicing Proceedings of the 5th International Conference on Software Engineering, ICSE 81 1981 IEEE Press Piscataway, NJ, USA 439 449
23. M. Ducassé OPIUM: An extendable trace analyzer for PROLOG J. Log. Program. 39 1999 177 223
24. Y.A. Liu, and S.D. Stoller Eliminating dead code on recursive data Sci. Comput. Program. 47 2003 221 242
25. G. Villavicencio, and J.N. Oliveira Reverse program calculation supported by code slicing WCRE 2001 IEEE Computer Society 35 46
26. J. Meseguer The temporal logic of rewriting: a gentle introduction Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Lect. Notes Comput. Sci. vol. 5065 2008 Springer-Verlag 354 382
27. S. Escobar, C. Meadows, and J. Meseguer Maude-NPA: Cryptographic protocol analysis modulo equational properties Foundations of Security Analysis and Design V (FOSAD 2007/2008/2009 Tutorial Lectures) Lect. Notes Comput. Sci. vol. 5705 2009 Springer-Verlag 1 50
28. G. Lowe Breaking and fixing the Needham-Schroeder public-key protocol using FDR Proceedings of the 2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1996) Lect. Notes Comput. Sci. vol. 1055 1996 Springer-Verlag 147 166 (Pubitemid 126050413)
29. C. Talcott Pathway logic Proceedings of the 8th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2008) Lect. Notes Comput. Sci. vol. 5016 2008 Springer-Verlag 21 53
30. I. Bethke, J.W. Klop, and R.d. Vrijer Descendants and origins in term rewriting Inf. Comput. 159 2000 59 124
31. J. Field, and F. Tip Dynamic dependence in term rewriting systems and its application to program slicing Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP 1994) Lect. Notes Comput. Sci. vol. 844 1994 Springer-Verlag 415 431
32. N.F. Rodrigues, and L.S. Barbosa Component identification through program slicing Electron. Notes Theor. Comput. Sci. 160 2006 291 304 (Pubitemid 44163866)
33. H. Agrawal, R.A. DeMillo, and E.H. Spafford Debugging with dynamic slicing and backtracking Softw. Pract. Exp. 23 1993 589 616 (Pubitemid 23668407)
34. O. Chitil, C. Runciman, and M. Wallace Freja, hat and hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000) Lect. Notes Comput. Sci. vol. 2011 2000 Springer-Verlag 176 193 (Pubitemid 33269849)
35. JSlice JSlice: a dynamic slicing tool for Java programs available at http://jslice.sourceforge.net 2008
36. F. Tip A survey of program slicing techniques J. Program. Lang. 3 1995 121 189
37. A. Riesco, A. Verdejo, and N. Martí-Oliet A complete declarative debugger for Maude Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010) Lect. Notes Comput. Sci. vol. 6486 2010 Springer-Verlag 216 225
38. E.Y. Shapiro Algorithmic program diagnosis Conference Record of Ninth Annual ACM Symposium on Principles of Programming Languages, POPL82 1982 ACM Press 299 308
39. H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G.J. Pace, G. Rosu, O. Sokolsky, and N. Tillmann Runtime Verification - First International Conference, Proceedings, RV 2010 St. Julians, Malta, November 1-4, 2010 Lect. Notes Comput. Sci. vol. 6418 2010 Springer
40. A. Farzan, F. Chen, J. Meseguer, and G. Rosu Formal analysis of Java programs in JavaFAN Proc. of 16th International Conference on Computer Aided Verification (CAV 2004) Lect. Notes Comput. Sci. vol. 3114 2004 Springer 501 505