-
David Insa, Josep Silva, Adrián Riesco
Speeding Up Algorithmic Debugging Using Balanced Execution Trees.
Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013).
© Springer-Verlag, 2013.
Available: PDF preprint
-
Juan Rodriguez, Josep Silva, David Insa
Enhancing Trace Debugging with Algorithmic and Omniscient Debugging.
Proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013).
Available: PDF preprint
-
Juan Rodriguez, Josep Silva, David Insa
Enhancing Declarative Debugging with Loop Expansion and Tree Compression.
Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012).
Available: PDF preprint
-
David Insa, Josep Silva
An Optimal Strategy for Algorithmic Debugging
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Oread, Lawrence, Kansas, USA. 6th-12th November 2011.
© ACM Press
Available: PDF preprint
-
David Insa, Josep Silva
Optimal Divide and Query
15th Portuguese Conference on Artificial Intelligence (EPIA 2011).
Lisbon, Portugal. 10th-13th October 2011.
© Springer-Verlag
Available: PDF Extended Version
-
David Insa, Josep Silva
An Algorithmic Debugger for Java
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010).
© IEEE
Available: PDF preprint
-
David Insa, Josep Silva
Debugging with Incomplete and Dynamically Generated Execution Trees
Proceedings of the 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010).
© Springer-Verlag
Available: PDF preprint
-
Diego Cheda, Josep Silva
State of the Practice in Algorithmic Debugging
17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2008).
Electronic Notes in Theoretical Computer Science, 2009.
© Elsevier
Available: Abstract / PDF preprint / BibTeX entry
-
Josep Silva
Debugging Techniques for Declarative Languages: Profiling, Program Slicing, and Algorithmic Debugging
AI Communications, Volume 21(1), pp. 91-92, 2008.
© IOS Press
Available: Abstract
-
Josep Silva
A Comparative Study of Algorithmic Debugging Strategies
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2006). Springer LNCS 4407, pp. 60-76, 2007.
© Springer-Verlag
Available: Online paper / PDF preprint
-
Josep Silva
Algorithmic Debugging Strategies
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006). pp. 134-140.
Available: Online paper
-
Josep Silva, Olaf Chitil
Combining Algorithmic Debugging and Program Slicing
Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2006). pp. 157-166, ACM Press, 2006.
© ACM Press
Available: Online paper