Skip header Section
Skip Bibliometrics Section
Algorithmic Program DeBuggingApril 1983
- Author:
- Ehud Y. Shapiro
Abstract
No abstract available.
Cited By
Wu B, Liu S, Xiao Y, Li Z, Sun J and Lin S Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (1371-1383)- Morel R and Cropper A (2023). Learning logic programs by explaining their failures, Machine Language, 112:10, (3917-3943), Online publication date: 1-Oct-2023.
- Shindo H, Pfanschilling V, Dhami D and Kersting K (2023). ILP: thinking visual scenes as differentiable logic programs, Machine Language, 112:5, (1465-1497), Online publication date: 1-May-2023.
- Hocquette C and Cropper A (2023). Learning programs with magic values, Machine Language, 112:5, (1551-1595), Online publication date: 1-May-2023.
- Drabent W On Correctness of Normal Logic Programs Logic-Based Program Synthesis and Transformation, (142-154)
- Fungwacharakorn W, Tsushima K and Satoh K (2021). Resolving counterintuitive consequences in law using legal debugging, Artificial Intelligence and Law, 29:4, (541-557), Online publication date: 1-Dec-2021.
- Guimarães V and Costa V Online Learning of Logic Based Neural Network Structures Inductive Logic Programming, (140-155)
- Fungwacharakorn W, Tsushima K and Satoh K On semantics-based minimal revision for legal reasoning Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law, (50-59)
- Cropper A and Morel R (2021). Learning programs by learning from failures, Machine Language, 110:4, (801-856), Online publication date: 1-Apr-2021.
- Cropper A and Tourret S (2019). Logical reduction of metarules, Machine Language, 109:7, (1323-1369), Online publication date: 1-Jul-2020.
- Zhao D, Subotić P and Scholz B (2020). Debugging Large-scale Datalog, ACM Transactions on Programming Languages and Systems, 42:2, (1-35), Online publication date: 30-Jun-2020.
- Lazarek L, King A, Sundar S, Findler R and Dimoulas C (2019). Does blame shifting work?, Proceedings of the ACM on Programming Languages, 4:POPL, (1-29), Online publication date: 1-Jan-2020.
- Drabent W The Prolog Debugger and Declarative Programming Logic-Based Program Synthesis and Transformation, (193-208)
- Linhares H, Pimentel J, Kohwalter T and Murta L Provenance-enhanced Algorithmic Debugging Proceedings of the XXXIII Brazilian Symposium on Software Engineering, (203-212)
- Guimarães V, Paes A and Zaverucha G (2019). Online probabilistic theory revision from examples with ProPPR, Machine Language, 108:7, (1165-1189), Online publication date: 1-Jul-2019.
- Cropper A and Muggleton S (2019). Learning efficient logic programs, Machine Language, 108:7, (1063-1083), Online publication date: 1-Jul-2019.
- Kumar A, Singh S, Singh K and Biswas B (2019). Level-2 node clustering coefficient-based link prediction, Applied Intelligence, 49:7, (2762-2779), Online publication date: 1-Jul-2019.
- Fungwacharakorn W and Satoh K Legal Debugging in Propositional Legal Representation New Frontiers in Artificial Intelligence, (146-159)
- Stepanova D, Gad-Elrab M and Ho V Rule Induction and Reasoning over Knowledge Graphs Reasoning Web. Learning, Uncertainty, Streaming, and Scalability, (142-172)
- Schulz S and Bockisch C A blast from the past Proceedings of the 15th International Conference on Managed Languages & Runtimes, (1-13)
- Wang K, Sullivan A and Khurshid S Automated model repair for Alloy Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, (577-588)
- Caballero R, Riesco A and Silva J (2017). A Survey of Algorithmic Debugging, ACM Computing Surveys, 50:4, (1-35), Online publication date: 31-Jul-2018.
- Li X, Zhu S, d'Amorim M and Orso A Enlightened debugging Proceedings of the 40th International Conference on Software Engineering, (82-92)
- Buchwald S, Fried A and Hack S Synthesizing an instruction selection rule library from semantic specifications Proceedings of the 2018 International Symposium on Code Generation and Optimization, (300-313)
- Zhang X, Zhu X and Wright S Training set debugging using trusted items Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence, (4482-4489)
- de Souza H, Mutti D, Chaim M and Kon F (2018). Contextualizing spectrum-based fault localization, Information and Software Technology, 94:C, (245-261), Online publication date: 1-Feb-2018.
- Kazmi M, Schller P and Saygn Y (2017). Improving scalability of inductive logic programming via pruning and best-effort optimisation, Expert Systems with Applications: An International Journal, 87:C, (291-303), Online publication date: 30-Nov-2017.
- Jha S and Seshia S (2017). A theory of formal synthesis via inductive learning, Acta Informatica, 54:7, (693-726), Online publication date: 1-Nov-2017.
- Winikoff M Debugging Agent Programs with Why? Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, (251-259)
- Drabent W (2017). Proving completeness of logic programs with the cut, Formal Aspects of Computing, 29:1, (155-172), Online publication date: 1-Jan-2017.
- Faddegon M and Chitil O (2016). Lightweight computation tree tracing for lazy functional languages, ACM SIGPLAN Notices, 51:6, (114-128), Online publication date: 1-Aug-2016.
- Drabent W (2016). Correctness and Completeness of Logic Programs, ACM Transactions on Computational Logic, 17:3, (1-32), Online publication date: 22-Jul-2016.
- Faddegon M and Chitil O Lightweight computation tree tracing for lazy functional languages Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (114-128)
- Jahier E RDBG Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, (116-125)
- Madsen M, Tip F, Andreasen E, Sen K and Møller A Feedback-directed instrumentation for deployed JavaScript applications Proceedings of the 38th International Conference on Software Engineering, (899-910)
- Faddegon M and Chitil O (2015). Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack, ACM SIGPLAN Notices, 50:6, (33-42), Online publication date: 7-Aug-2015.
- Insa D and Silva J A Generalized Model for Algorithmic Debugging Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 9527, (261-276)
- Faddegon M and Chitil O Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, (33-42)
- Dietrich B and Grust T A SQL Debugger Built from Spare Parts Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, (865-870)
- Cropper A and Muggleton S Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning Revised Selected Papers of the 24th International Conference on Inductive Logic Programming - Volume 9046, (62-75)
- Bernauer A, Bozic J, Simos D, Winkler S and Wotawa F Retaining Consistency for Knowledge-Based Security Testing Proceedings, Part II, of the 27th International Conference on Modern Advances in Applied Intelligence - Volume 8482, (88-97)
- Wang Y, Neamtiu I and Gupta R (2013). Generating sound and effective memory debuggers, ACM SIGPLAN Notices, 48:11, (51-62), Online publication date: 4-Dec-2013.
- Saha R, Lease M, Khurshid S and Perry D Improving bug localization using structured information retrieval Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (345-355)
- Bodik R and Jobstmann B (2013). Algorithmic program synthesis, International Journal on Software Tools for Technology Transfer (STTT), 15:5-6, (397-411), Online publication date: 1-Oct-2013.
- Solar-Lezama A (2013). Program sketching, International Journal on Software Tools for Technology Transfer (STTT), 15:5-6, (475-495), Online publication date: 1-Oct-2013.
- Albarghouthi A, Gulwani S and Kincaid Z Recursive Program Synthesis Proceedings of the 25th International Conference on Computer Aided Verification - Volume 8044, (934-950)
- Wang Y, Neamtiu I and Gupta R Generating sound and effective memory debuggers Proceedings of the 2013 international symposium on memory management, (51-62)
- Wang Y, Neamtiu I and Gupta R Generating sound and effective memory debuggers Proceedings of the 2013 international symposium on memory management, (51-62)
- Grust T and Rittinger J (2013). Observing SQL queries in their natural habitat, ACM Transactions on Database Systems, 38:1, (1-33), Online publication date: 1-Apr-2013.
- Hofer B, Wotawa F and Abreu R (2012). AI for the win, ACM SIGSOFT Software Engineering Notes, 37:6, (1-8), Online publication date: 27-Nov-2012.
- Morgado I, Paiva A, Faria J and Camacho R GUI reverse engineering with machine learning Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, (27-31)
- Naish L, Søndergaard H and Horsfall B Logic programming Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128, (49-58)
- Naish L Declarative diagnosis of floundering in prolog Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122, (49-56)
- Roychowdhury S and Khurshid S Software fault localization using feature selection Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering, (11-18)
- Insa D and Silva J Optimal divide and query Proceedings of the 15th Portugese conference on Progress in artificial intelligence, (224-238)
- Kavurucu Y, Senkul P and Toroslu I (2011). A comparative study on ILP-based concept discovery systems, Expert Systems with Applications: An International Journal, 38:9, (11598-11607), Online publication date: 1-Sep-2011.
- Caballero R, Riesco A, Verdejo A and Martí-Oliet N Simplifying questions in maude declarative debugger by transforming proof trees Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation, (73-89)
- Almendros-Jiménez J, Caballero R, García-Ruiz Y and Sáenz-Pérez F A declarative embedding of XQuery in a functional-logic language Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation, (42-56)
- Caballero R, García-Ruiz Y and Sáenz-Pérez F Algorithmic debugging of SQL views Proceedings of the 8th international conference on Perspectives of System Informatics, (77-85)
- Gulwani S, Jha S, Tiwari A and Venkatesan R Synthesis of loop-free programs Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (62-73)
- Gulwani S, Jha S, Tiwari A and Venkatesan R (2011). Synthesis of loop-free programs, ACM SIGPLAN Notices, 46:6, (62-73), Online publication date: 4-Jun-2011.
- del Vado Vírseda R, Orna E, Berbis E and de León Guerrero S A logic teaching tool based on tableaux for verification and debugging of algorithms Proceedings of the Third international congress conference on Tools for teaching logic, (239-248)
- Arcuri A (2011). Evolutionary repair of faulty software, Applied Soft Computing, 11:4, (3494-3514), Online publication date: 1-Jun-2011.
- Reiss S Writing and using program specifications Proceedings of the FSE/SDP workshop on Future of software engineering research, (299-302)
- Itzhaky S, Gulwani S, Immerman N and Sagiv M (2010). A simple inductive synthesis methodology and its applications, ACM SIGPLAN Notices, 45:10, (36-46), Online publication date: 17-Oct-2010.
- Itzhaky S, Gulwani S, Immerman N and Sagiv M A simple inductive synthesis methodology and its applications Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (36-46)
- Gulwani S Dimensions in program synthesis Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, (13-24)
- Insa D and Silva J Scaling up algorithmic debugging with virtual execution trees Proceedings of the 20th international conference on Logic-based program synthesis and transformation, (149-163)
- Walker T, O'Reilly C, Kunapuli G, Natarajan S, Maclin R, Page D and Shavlik J Automating the ilp setup task Proceedings of the 20th international conference on Inductive logic programming, (253-268)
- Jha S, Gulwani S, Seshia S and Tiwari A Oracle-guided component-based program synthesis Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, (215-224)
- Riesco A, Verdejo A and Martí-Oliet N Enhancing the debugging of Maude specifications Proceedings of the 8th international conference on Rewriting logic and its applications, (226-242)
- Alpuente M, Ballis D and Falaschi M Transformation and debugging of functional logic programs A 25-year perspective on logic programming, (271-299)
- Bossi A and Meo M Theoretical foundations and semantics of logic programming A 25-year perspective on logic programming, (15-36)
- Bossi A (2009). S-semantics for logic programming, Theoretical Computer Science, 410:46, (4692-4703), Online publication date: 1-Nov-2009.
- Hussain S and Rao M Learning hereditary and reductive prolog programs from entailment Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications, (546-555)
- Hao D, Zhang L, Xie T, Mei H and Sun J (2009). Interactive fault localization using test information, Journal of Computer Science and Technology, 24:5, (962-974), Online publication date: 1-Sep-2009.
- Cheda D and Silva J (2009). State of the Practice in Algorithmic Debugging, Electronic Notes in Theoretical Computer Science (ENTCS), 246, (55-70), Online publication date: 1-Aug-2009.
- Braßel B (2009). A Technique to Build Debugging Tools for Lazy Functional Logic Languages, Electronic Notes in Theoretical Computer Science (ENTCS), 246, (39-53), Online publication date: 1-Aug-2009.
- Muggleton S, Santos J and Tamaddoni-Nezhad A ProGolem Proceedings of the 19th international conference on Inductive logic programming, (131-148)
- Hao D, Zhang L, Zhang L, Sun J and Mei H VIDA Proceedings of the 31st International Conference on Software Engineering, (583-586)
- Chang Chien Y and Chen Y (2009). A phenotypic genetic algorithm for inductive logic programming, Expert Systems with Applications: An International Journal, 36:3, (6935-6944), Online publication date: 1-Apr-2009.
- Drewes F (2009). MAT learners for recognizable tree languages and tree series, Acta Cybernetica, 19:2, (249-274), Online publication date: 1-Feb-2009.
- Caballero R, García-Ruiz Y and Sáenz-Pérez F A Theoretical Framework for the Declarative Debugging of Datalog Programs Semantics in Data and Knowledge Bases, (143-159)
- Dietterich T, Domingos P, Getoor L, Muggleton S and Tadepalli P (2008). Structured machine learning, Machine Language, 73:1, (3-23), Online publication date: 1-Oct-2008.
- Neumerkel U, Triska M and Wielemaker J Declarative language extensions for prolog courses Proceedings of the 2008 international workshop on Functional and declarative programming in education, (73-78)
- Chitil O and Davie T Comprehending finite maps for algorithmic debugging of higher-order functional programs Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, (205-216)
- Caballero R, García-Ruiz Y and Sáenz-Pérez F (2008). A New Proposal for Debugging Datalog Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 216, (79-92), Online publication date: 1-Jul-2008.
- Ng Y and Shinohara T (2008). Developments from enquiries into the learnability of the pattern languages from positive data, Theoretical Computer Science, 397:1-3, (150-165), Online publication date: 10-May-2008.
- Krishna Rao M (2008). Some classes of term rewriting systems inferable from positive data, Theoretical Computer Science, 397:1-3, (129-149), Online publication date: 10-May-2008.
- Caballero R, Artalejo M and Del Vado Vírseda R Declarative diagnosis of missing answers in constraint functional-logic programming Proceedings of the 9th international conference on Functional and logic programming, (305-321)
- Alphonse E and Osmani A (2008). On the connection between the phase transition of the covering test and the learning success rate in ILP, Machine Language, 70:2-3, (135-150), Online publication date: 1-Mar-2008.
- Frasconi P and Passerini A Learning with kernels and logical representations Probabilistic inductive logic programming, (56-91)
- De Raedt L and Kersting K Probabilistic inductive logic programming Probabilistic inductive logic programming, (1-27)
- Braßel B, Hanus M, Fischer S, Huch F and Vidal G Lazy call-by-value evaluation Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, (265-276)
- Braßel B, Hanus M, Fischer S, Huch F and Vidal G (2007). Lazy call-by-value evaluation, ACM SIGPLAN Notices, 42:9, (265-276), Online publication date: 1-Oct-2007.
- Hibberd M, Lawley M and Raymond K Forensic debugging of model transformations Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (589-604)
- Marlow S, Iborra J, Pope B and Gill A A lightweight interactive debugger for haskell Proceedings of the ACM SIGPLAN workshop on Haskell workshop, (13-24)
- Liu C and Pontelli E Nonmonotonic inductive logic programming by instance patterns Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, (187-196)
- Arimura H and Uno T Mining maximal flexible patterns in a sequence Proceedings of the 2007 conference on New frontiers in artificial intelligence, (307-317)
- Grust T, Rittinger J and Teubner J Data-intensive XQuery debugging with instant replay Proceedings of the 4th international workshop on XQuery implementation, experience and perspectives, (1-6)
- Braßel B (2007). A Framework for Interpreting Traces of Functional Logic Computations, Electronic Notes in Theoretical Computer Science (ENTCS), 177, (91-106), Online publication date: 1-Jun-2007.
- Caballero R, Hermanns C and Kuchen H (2007). Algorithmic Debugging of Java Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 177, (75-89), Online publication date: 1-Jun-2007.
- Liu C and Pontelli E Inductive logic programming by instance patterns Proceedings of the 9th international conference on Practical Aspects of Declarative Languages, (230-244)
- Silva J and Vidal G (2007). Forward slicing of functional logic programs by partial evaluation, Theory and Practice of Logic Programming, 7:1-2, (215-247), Online publication date: 1-Jan-2007.
- Džeroski S From inductive logic programming to relational data mining Proceedings of the 10th European conference on Logics in Artificial Intelligence, (1-14)
- Caballero R, Artalejo M and del Vado Vírseda R Declarative diagnosis of wrong answers in constraint functional-logic programming Proceedings of the 22nd international conference on Logic Programming, (421-422)
- Brassel B, Fischer S and Huch F A program transformation for tracing functional logic computations Proceedings of the 16th international conference on Logic-based program synthesis and transformation, (160-176)
- Silva J A comparative study of algorithmic debugging strategies Proceedings of the 16th international conference on Logic-based program synthesis and transformation, (143-159)
- Silva J and Chitil O Combining algorithmic debugging and program slicing Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, (157-166)
- Bundy A and McNeill F (2006). Representation as a Fluent, IEEE Intelligent Systems, 21:3, (85-87), Online publication date: 1-May-2006.
- MacLarty I and Somogyi Z Controlling search space materialization in a practical declarative debugger Proceedings of the 8th international conference on Practical Aspects of Declarative Languages, (31-44)
- Gori R and Levi G (2005). On the verification of finite failure, Journal of Computer and System Sciences, 71:4, (535-575), Online publication date: 1-Nov-2005.
- Caballero R A declarative debugger of incorrect answers for constraint functional-logic programs Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, (8-13)
- MacLarty I, Somogyi Z and Brown M Divide-and-query and subterm dependency tracking in the mercury declarative debugger Proceedings of the sixth international symposium on Automated analysis-driven debugging, (59-68)
- Peischl B and Wotawa F Error traces in model-based debugging of hardware description languages Proceedings of the sixth international symposium on Automated analysis-driven debugging, (43-48)
- De Raedt L, Kersting K and Torge S Towards learning stochastic logic programs from proof-banks Proceedings of the 20th national conference on Artificial intelligence - Volume 2, (752-757)
- Kersting K An Inductive Logic Programming Approach to Statistical Relational Learning Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning, (1-228)
- Tajima Y, Tomita E, Wakatsuki M and Terada M (2004). Polynomial time learning of simple deterministic languages via queries and a representative sample, Theoretical Computer Science, 329:1, (203-221), Online publication date: 13-Dec-2004.
- Rao M Learnability of simply-moded logic programs from entailment Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, (128-141)
- Chitil O Source-Based trace exploration Proceedings of the 16th international conference on Implementation and Application of Functional Languages, (126-141)
- Wotawa F (2004). Debugging VHDL Designs, Applied Intelligence, 21:2, (159-172), Online publication date: 1-Sep-2004.
- Brassel B, Hanus M, Huch F and Vidal G A semantics for tracing declarative multi-paradigm programs Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, (179-190)
- Popescul A and Ungar L Cluster-based concept invention for statistical relational learning Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining, (665-670)
- Popescul A, Ungar L, Lawrence S and Pennock D Statistical Relational Learning for Document Mining Proceedings of the Third IEEE International Conference on Data Mining
- Renieris M and Reiss S Fault localization with nearest neighbor queries Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (30-39)
- Bunus P and Fritzson P Semi-automatic fault localization and behavior verification for physical system simulation models Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (253-258)
- Stuckey P, Sulzmann M and Wazny J Interactive type debugging in Haskell Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, (72-83)
- De Raedt L and Kersting K (2003). Probabilistic logic learning, ACM SIGKDD Explorations Newsletter, 5:1, (31-48), Online publication date: 1-Jul-2003.
- Džeroski S (2003). Multi-relational data mining, ACM SIGKDD Explorations Newsletter, 5:1, (1-16), Online publication date: 1-Jul-2003.
- Sakamoto H, Hirata K and Arimura H (2003). Learning elementary formal systems with queries, Theoretical Computer Science, 298:1, (21-50), Online publication date: 4-Apr-2003.
- Xu S and Chee Y (2003). Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems, IEEE Transactions on Software Engineering, 29:4, (360-384), Online publication date: 1-Apr-2003.
- Ball T, Naik M and Rajamani S (2003). From symptom to cause, ACM SIGPLAN Notices, 38:1, (97-105), Online publication date: 15-Jan-2003.
- Ball T, Naik M and Rajamani S From symptom to cause Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (97-105)
- Berthold M and Hand D References Intelligent data analysis, (475-500)
- Arias M and Khardon R (2002). Learning closed horn expressions, Information and Computation, 178:1, (214-240), Online publication date: 10-Oct-2002.
- Džeroski S Learning in rich representations Proceedings of the 12th international conference on Inductive logic programming, (346-349)
- Goldsmith J, Sloan R and Turán G (2002). Theory Revision with Queries, Machine Language, 47:2-3, (257-295), Online publication date: 1-May-2002.
- Wotawa F (2002). On the relationship between model-based debugging and program slicing, Artificial Intelligence, 135:1-2, (125-143), Online publication date: 1-Feb-2002.
- Džeroski S Data mining tasks and methods: Rule discovery Handbook of data mining and knowledge discovery, (348-353)
- Ajiro Y and Ueda K (2002). Kima, Automated Software Engineering, 9:1, (67-94), Online publication date: 1-Jan-2002.
- Wotawa F (2001). Debugging Hardware Designs Using a Value-Based Model, Applied Intelligence, 16:1, (71-92), Online publication date: 20-Nov-2001.
- Rao M and Sattar A (2001). Polynomial-time learnability of logic programs with local variables from entailment, Theoretical Computer Science, 268:2, (179-198), Online publication date: 17-Oct-2001.
- Todorovski L, Weber I, Lavraěc N, Stěpánkova O, Dězeroski S, Kazakov D, Zupaniěc D and Flach P Internet resources on ILP for KDD Relational Data Mining, (375-385)
- An introduction to inductive logic programming Relational Data Mining, (48-71)
- Chitil O (2001). Compositional explanation of types and algorithmic debugging of type errors, ACM SIGPLAN Notices, 36:10, (193-204), Online publication date: 1-Oct-2001.
- Chitil O Compositional explanation of types and algorithmic debugging of type errors Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (193-204)
- McCluskey T and West M (2001). The Automated Refinement of a Requirements Domain Theory, Automated Software Engineering, 8:2, (195-218), Online publication date: 1-Apr-2001.
- Cussens J and Pulman S Incorporating linguistics constraints into inductive logic programming Proceedings of the 2nd workshop on Learning language in logic and the 4th conference on Computational natural language learning - Volume 7, (184-193)
- Goldsmith J and Sloan R More theory revision with queries (extended abstract) Proceedings of the thirty-second annual ACM symposium on Theory of computing, (441-448)
- Sison R, Numao M and Shimura M (2000). Multistrategy Discovery and Detection of Novice Programmer Errors, Machine Language, 38:1-2, (157-180), Online publication date: 1-Jan-2000.
- Esposito F, Semeraro G, Fanizzi N and Ferilli S (2000). Multistrategy Theory Revision, Machine Language, 38:1-2, (133-156), Online publication date: 1-Jan-2000.
- Ohta T and Mizuno T Towards an Algorithmic Debugging for Distributed Programs Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Khardon R (1999). Learning Function-Free Horn Expressions, Machine Language, 37:3, (241-275), Online publication date: 1-Dec-1999.
- Kókai G, Nilson J and Niss C GIDTS Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (95-104)
- Kókai G, Nilson J and Niss C (1999). GIDTS, ACM SIGSOFT Software Engineering Notes, 24:5, (95-104), Online publication date: 1-Sep-1999.
- Nilsson H (1999). Tracing piece by piece, ACM SIGPLAN Notices, 34:9, (36-47), Online publication date: 1-Sep-1999.
- Nilsson H Tracing piece by piece Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (36-47)
- Stumptner M and Wotawa F Debugging functional programs Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2, (1074-1079)
- Sloan R and Turán G On theory revision with queries Proceedings of the twelfth annual conference on Computational learning theory, (41-52)
- Le Métayer D, Nicolas V and Ridoux O (1998). Exploring the Software Development Trilogy, IEEE Software, 15:6, (75-81), Online publication date: 1-Nov-1998.
- Khardon R Learning first order universal Horn expressions Proceedings of the eleventh annual conference on Computational learning theory, (154-165)
- Finn P, Muggleton S, Page D and Srinivasan A (1998). Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL, Machine Language, 30:2-3, (241-270), Online publication date: 1-Feb-1998.
- Caferra R and Peltier N (1997). A New Technique for Verifying and Correcting Logic Programs, Journal of Automated Reasoning, 19:3, (277-318), Online publication date: 1-Dec-1997.
- Belli F and Crisan R Empirical Performance Analysis of Computer-Supported Code-Reviews Proceedings of the Eighth International Symposium on Software Reliability Engineering
- Kapetanios E and Norrie M Data Mining and Modeling in Scientific Databases Proceedings of the Ninth International Conference on Scientific and Statistical Database Management, (24-27)
- Giordana A, Neri F, Saitta L and Botta M (1997). Integrating Multiple Learning Strategies in First Order Logics, Machine Language, 27:3, (209-240), Online publication date: 1-Jun-1997.
- Nilsson H and Sparud J (1997). The Evaluation Dependence Tree as a Basis for Lazy FunctionalDebugging, Automated Software Engineering, 4:2, (121-150), Online publication date: 1-Apr-1997.
- Ducassé M (1997). Introduction, Automated Software Engineering, 4:2, (119-120), Online publication date: 1-Apr-1997.
- Morales E (1997). PAL, Machine Language, 26:2-3, (227-252), Online publication date: 1-Mar-1997.
- Alferes J, Pereira L and Przymusinski T (1996). Belief Revision in Non-Monotonic Reasoning and Logic Programming, Fundamenta Informaticae, 28:1,2, (1-22), Online publication date: 1-Apr-1996.
- Quinlan J and Cameron-Jones R (1995). Induction of logic programs: FOIL and related systems, New Generation Computing, 13:3-4, (287-312), Online publication date: 1-Dec-1995.
- Bratko I and Muggleton S (1995). Applications of inductive logic programming, Communications of the ACM, 38:11, (65-70), Online publication date: 1-Nov-1995.
- Tinkham N (1995). Book review: The Art of Prolog, 2nd edition by Leon Sterling and Ehud Shapiro (MIT Press, 1994), ACM SIGART Bulletin, 6:3, (21-22), Online publication date: 1-Jul-1995.
- Gasarch W, Kinber E, Pleszkoch M, Smith C and Zeugmann T (1995). Learning Via Queries With Teams And Anomalies, Fundamenta Informaticae, 23:1, (67-89), Online publication date: 1-Jan-1995.
- Laer W, Dehaspe L and Raedt L Applications of a logical discovery engine Proceedings of the 3rd International Conference on Knowledge Discovery and Data Mining, (263-274)
- Cameron-Jones R and Quinlan J (1994). Efficient top-down induction of logic programs, ACM SIGART Bulletin, 5:1, (33-42), Online publication date: 1-Jan-1994.
- Kietz J and Džeroski S (1994). Inductive logic programming and learnability, ACM SIGART Bulletin, 5:1, (22-32), Online publication date: 1-Jan-1994.
- Mooney R and Zelle J (1994). Integrating ILP and EBL, ACM SIGART Bulletin, 5:1, (12-21), Online publication date: 1-Jan-1994.
- Muggleton S (1994). Inductive logic programming, ACM SIGART Bulletin, 5:1, (5-11), Online publication date: 1-Jan-1994.
- Ikeda M, Kono Y and Mizoguchi R Nonmonotonic model inference Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1, (467-473)
- Sakurai S and Yoshino H Identification of implicit legal requirements with legal abstract knowledge Proceedings of the 4th international conference on Artificial intelligence and law, (298-305)
- Belli B and Jack O Implementation-based analysis and testing of Prolog programs Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis, (70-80)
- Savnik I and Flach P Bottom-up induction of functional dependencies from relations Proceedings of the 2nd International Conference on Knowledge Discovery in Databases, (174-185)
- Cohen W Pac-learning a restricted class of recursive logic programs Proceedings of the eleventh national conference on Artificial intelligence, (86-92)
- Belli B and Jack O (1993). Implementation-based analysis and testing of Prolog programs, ACM SIGSOFT Software Engineering Notes, 18:3, (70-80), Online publication date: 1-Jul-1993.
- Manna Z and Waldinger R (1992). Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, 18:8, (674-704), Online publication date: 1-Aug-1992.
- Džeroski S, Muggleton S and Russell S PAC-learnability of determinate logic programs Proceedings of the fifth annual workshop on Computational learning theory, (128-135)
- Francel M and Rugaber S Fault localization using execution traces Proceedings of the 30th annual Southeast regional conference, (69-76)
- Kirschenbaum M and Sterling L Refinement strategies for inductive learning of simple prolog programs Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2, (757-761)
- Rouveirol C Semantic model for induction of first order theories Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2, (685-690)
- Motoda H, Mizoguchi R, Boose J and Gaines B (1991). Knowledge Acquisition for Knowledge-Based Systems, IEEE Expert: Intelligent Systems and Their Applications, 6:4, (53-64), Online publication date: 1-Aug-1991.
- Shmueli O and Tsur S (1991). Logical diagnosis ofLDL programs, New Generation Computing, 9:3-4, (277-303), Online publication date: 1-Aug-1991.
- Buntine W Theory refinement on Bayesian networks Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence, (52-60)
- Kishon A, Hudak P and Consel C (1991). Monitoring semantics, ACM SIGPLAN Notices, 26:6, (338-352), Online publication date: 1-Jun-1991.
- Fritzson P, Gyimothy T, Kamkar M and Shahmehri N (1991). Generalized algorithmic debugging and testing, ACM SIGPLAN Notices, 26:6, (317-326), Online publication date: 1-Jun-1991.
- Kishon A, Hudak P and Consel C Monitoring semantics Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (338-352)
- Fritzson P, Gyimothy T, Kamkar M and Shahmehri N Generalized algorithmic debugging and testing Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (317-326)
- Fantechi A, Gnesi S, Leggio F and Talini P (1991). Executing the formal definition of Ada, ACM SIGPLAN Notices, 26:3, (25-34), Online publication date: 2-Jan-1991.
- Dershowitz N and Pinchover E Inductive synthesis of equational programs Proceedings of the eighth National conference on Artificial intelligence - Volume 1, (234-239)
- Numao M and Shimura M A knowledge-level analysis of explanation-based learning Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2, (959-967)
- Belli F, Camara I and Schmidt A A built-in test language for PROLOG to validate knowledge-based systems Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2, (726-734)
- Lee M An augmented Prolog programming environment for tutoring applications Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2, (898-906)
- Masson V and Quiniou R Application of artificial intelligence to aphasia treatment Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2, (907-913)
- Sattar A and Goebel R On the efficiency of logic-based diagnosis Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1, (23-31)
- De Raedt L and Bruynooghe M Towards friendly concept-learners Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1, (849-854)
- Sterling L and Yalcinalp L Explaining Prolog based expert systems using a layered meta-interpreter Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1, (66-71)
- Huntbach M (1989). Meta-interpreters and partial evaluation in Parlog, Formal Aspects of Computing, 1:1, (193-211), Online publication date: 1-Mar-1989.
- Lichtenstein Y and Shapiro E (1988). Concurrent algorithmic debugging, ACM SIGPLAN Notices, 24:1, (248-260), Online publication date: 3-Jan-1989.
- Lichtenstein Y and Shapiro E Concurrent algorithmic debugging Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, (248-260)
- Tanaka J, Ueda K, Miyazaki T, Takeuchi A, Matsumoto Y and Furukawa K Guarded horn clauses and experiences with parallel logic programming Proceedings of 1986 ACM Fall joint computer conference, (948-954)
- Kahn K, Tribble E, Miller M and Bobrow D (1986). Objects in concurrent logic programming languages, ACM SIGPLAN Notices, 21:11, (242-257), Online publication date: 1-Nov-1986.
- Kahn K, Tribble E, Miller M and Bobrow D Objects in concurrent logic programming languages Conference proceedings on Object-oriented programming systems, languages and applications, (242-257)
- Shapiro E Systems programming in concurrent prolog Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (93-105)
Index Terms
- Algorithmic Program DeBugging
Recommendations
Combining algorithmic debugging and program slicing
PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programmingCurrently, program slicing and algorithmic debugging are two of the most relevant debugging techniques for declarative languages. They help programmers to find bugs in a semiautomatic manner. On the one hand, program slicing is a technique to extract ...
Implementation of an Optimal Strategy for Algorithmic Debugging
One of the most automatic debugging techniques is Algorithmic Debugging because it allows us to debug a program without the need to inspect the source code. In order to find a bug, an algorithmic debugger asks questions to the programmer about the ...