Data Mining-Based Techniques for Software Fault Localization.

Olivier Ridoux IRISA Rennes http://www.irisa.fr/lande/ridoux/page.pro.e.html

Peggy Cellier Mireille Ducassé Sébastien Ferré Olivier Ridoux W. Eric Wong Data Mining-Based Techniques for Software Fault Localization. 2025 May abs/2505.18216 CoRR https://doi.org/10.48550/arXiv.2505.18216 db/journals/corr/corr2505.html#abs-2505-18216 streams/journals/corr

Clément Morand Olivier Ridoux Extraction dans des textes anciens d'entités nommées de type binômes de la classification linnéenne du vivant : une étude de cas. 417-424 2023 EGC https://editions-rnti.fr/?inprocid=1002845 conf/f-egc/2023 db/conf/f-egc/egc2023.html#MorandR23 Anne-Laure Ligozat Kevin Marquet Aurélie Bugeau Julien Lefèvre Pierre Boulet Sylvain Bouveret Philippe Marquet Olivier Ridoux Olivier Michel 0001 How to Integrate Environmental Challenges in Computing Curricula? 899-905 2022 SIGCSE (1) https://doi.org/10.1145/3478431.3499280 conf/sigcse/2022-1 db/conf/sigcse/sigcse2022-1.html#LigozatMBLBBMRM21 Peggy Cellier Sébastien Ferré Annie Foret Olivier Ridoux Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. 443-448 2016 EGC https://editions-rnti.fr/?inprocid=1002198 conf/f-egc/2016 db/conf/f-egc/egc2016.html#CellierFFR16 Soda Marème Cissé Olivier Ridoux Peggy Cellier Représentation Symbolique de Trajectoires Géolocalisées. 208-221 2015 SAGEO https://ceur-ws.org/Vol-1535/paper-15.pdf conf/sageo/2015 db/conf/sageo/sageo2015.html#CisseRC15 Sébastien Ferré Pierre Allard Olivier Ridoux Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. 112-127 2012 ICFCA https://doi.org/10.1007/978-3-642-29892-9_14 conf/icfca/2012 db/conf/icfca/icfca2012.html#FerreAR12 Peggy Cellier Mireille Ducassé Sébastien Ferré Olivier Ridoux Multiple Fault Localization with Data Mining. 238-243 2011 SEKE conf/seke/2011 db/conf/seke/seke2011.html#CellierDFR11 Pierre Allard Sébastien Ferré Olivier Ridoux Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. 199-210 2010 CLA https://ceur-ws.org/Vol-672/paper18.pdf conf/cla/2010 db/conf/cla/cla2010.html#AllardFR10 Peggy Cellier Mireille Ducassé Sébastien Ferré Olivier Ridoux DeLLIS: A Data Mining Process for Fault Localization. 432-437 2009 SEKE conf/seke/2009 db/conf/seke/seke2009.html#CellierDFR09

Peggy Cellier Sébastien Ferré Olivier Ridoux Mireille Ducassé A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. 319-343 2008 19 Int. J. Found. Comput. Sci. 2 https://doi.org/10.1142/S012905410800570X db/journals/ijfcs/ijfcs19.html#CellierFRD08

Olivier Bedel Sébastien Ferré Olivier Ridoux Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. 241-257 2008 ICFCA https://doi.org/10.1007/978-3-540-78137-0_18 conf/icfca/2008 db/conf/icfca/icfca2008.html#BedelFR08 Peggy Cellier Mireille Ducassé Sébastien Ferré Olivier Ridoux Formal Concept Analysis Enhances Fault Localization in Software. 273-288 2008 ICFCA https://doi.org/10.1007/978-3-540-78137-0_20 conf/icfca/2008 db/conf/icfca/icfca2008.html#CellierDFR08

Olivier Bedel Sébastien Ferré Olivier Ridoux Erwan Quesseveur GEOLIS: a logical information system for geographical data. 371-390 2007 17 Rev. Int. Géomatique 3-4 https://doi.org/10.3166/geo.17.371-390 db/journals/rig/rig17.html#BedelFRQ07

Sébastien Ferré Olivier Ridoux Logical Information Systems: from Taxonomies to Logics. 212-216 2007 conf/dexaw/2007 DEXA Workshops https://doi.org/10.1109/DEXA.2007.47 https://doi.ieeecomputersociety.org/10.1109/DEXA.2007.47 db/conf/dexaw/dexaw2007.html#FerreR07 Olivier Bedel Sébastien Ferré Olivier Ridoux Erwan Quesseveur Exploring a Geographical Dataset with GEOLIS. 540-544 2007 conf/dexaw/2007 DEXA Workshops https://doi.org/10.1109/DEXA.2007.42 https://doi.ieeecomputersociety.org/10.1109/DEXA.2007.42 db/conf/dexaw/dexaw2007.html#BedelFRQ07 Sébastien Ferré Olivier Ridoux From Description Logics to Logic Functors, and Back. 2007 Description Logics https://ceur-ws.org/Vol-250/paper_34.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#FerreR07 Peggy Cellier Sébastien Ferré Olivier Ridoux Mireille Ducassé A Parameterized Algorithm for Exploring Concept Lattices. 114-129 2007 conf/icfca/2007 ICFCA https://doi.org/10.1007/978-3-540-70901-5_8 db/conf/icfca/icfca2007.html#CellierFRD07

Benjamin Sigonneau Olivier Ridoux Indexation multiple et automatisée de composants logiciels. 9-42 2006 25 Tech. Sci. Informatiques 1 https://doi.org/10.3166/tsi.25.9-42 db/journals/tsi/tsi25.html#SigonneauR06

Peggy Cellier Sébastien Ferré Olivier Ridoux Mireille Ducassé An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. 226-231 2006 CLA https://doi.org/10.1007/978-3-540-78921-5_15 conf/cla/2006 db/conf/cla/cla2006.html#CellierFRD06 Yoann Padioleau Benjamin Sigonneau Olivier Ridoux LISFS: a logical information system as a file system. 803-806 2006 conf/icse/2006 ICSE https://doi.org/10.1145/1134285.1134418 db/conf/icse/icse2006.html#PadioleauSR06 Benjamin Sigonneau Olivier Ridoux Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. 87-93 2006 conf/msr/2006 MSR https://doi.org/10.1145/1137983.1138005 db/conf/msr/msr2006.html#SigonneauR06 Sébastien Ferré Olivier Ridoux Benjamin Sigonneau Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. 166-180 2005 conf/iccs/2005 ICCS https://doi.org/10.1007/11524564_11 db/conf/iccs/iccs2005.html#FerreRS05 Tristan Denmat Mireille Ducassé Olivier Ridoux Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. 396-399 2005 conf/kbse/2005 ASE https://doi.org/10.1145/1101908.1101979 db/conf/kbse/ase2005.html#DenmatDR05 Yoann Padioleau Olivier Ridoux A Parts-of-File File System. 359-362 2005 conf/usenix/2005g USENIX ATC, General Track http://www.usenix.org/events/usenix05/tech/general/padioleau.html db/conf/usenix/usenix2005g.html#PadioleauR05

Sébastien Ferré Olivier Ridoux Introduction to logical information systems. 383-419 2004 40 Inf. Process. Manag. 3 https://doi.org/10.1016/S0306-4573(03)00018-9 db/journals/ipm/ipm40.html#FerreR04

Jeanne Villaneau Olivier Ridoux Jean-Yves Antoine LOGUS : compréhension de l'oral spontané. Présentation et évaluation des bases formelles de LOGUS. 709-742 2004 18 Rev. d'Intelligence Artif. 5-6 https://doi.org/10.3166/ria.18.709-742 db/journals/ria/ria18.html#VillaneauRA04

Jeanne Villaneau Jean-Yves Antoine Olivier Ridoux Logical Approach to Natural Language Understanding in a Spoken Dialogue System. 637-644 https://doi.org/10.1007/978-3-540-30120-2_80 2004 conf/tsd/2004 TSD db/conf/tsd/tsd2004.html#VillaneauAR04

Catherine Belleannée Olivier Ridoux Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. 49-62 2003 22 Tech. Sci. Informatiques 1 http://tsi.revuesonline.com/article.jsp?articleId=4646 db/journals/tsi/tsi22.html#BelleanneeR03

Olivier Ridoux Logic Information Systems for Logic Programmers. 3-19 https://doi.org/10.1007/978-3-540-24599-5_2 2003 conf/iclp/2003 ICLP db/conf/iclp/iclp2003.html#Ridoux03 Catherine Belleannée Olivier Ridoux Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. 49-62 2003 conf/jfplc/2003 JFPLC db/conf/jfplc/jfplc2003.html#BelleanneeR03 Yoann Padioleau Olivier Ridoux A Logic File System. 99-112 2003 conf/usenix/2003g USENIX ATC, General Track http://www.usenix.org/events/usenix03/tech/padioleau.html db/conf/usenix/usenix2003g.html#PadioleauR03 Thomas P. Jensen Florimond Ployette Olivier Ridoux Iteration schemes for fixed point calculation. 69-76 2002 conf/fics/2002 FICS db/conf/fics/fics2002.html#JensenPR02 Sébastien Ferré Olivier Ridoux The Use of Associative Concepts in the Incremental Building of a Logical Context. 299-313 2002 conf/iccs/2002 ICCS https://doi.org/10.1007/3-540-45483-7_23 db/conf/iccs/iccs2002.html#FerreR02 Jeanne Villaneau Jean-Yves Antoine Olivier Ridoux LOGUS : un système formel de compréhension du français parlé spontané-présentation et évaluation. 167-176 2002 TALN (Articles longs) https://aclanthology.org/2002.jeptalnrecital-long.14/ conf/taln/2002-1 db/conf/taln/taln2002-1.html#VillaneauAR02

Olivier Ridoux Patrice Boizumault Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. 2001 2001 J. Funct. Log. Program. 4 db/journals/jflp/jflp2001.html#RidouxB01

Sébastien Ferré Olivier Ridoux Searching for Objects and Properties with Logical Concept Analysis. 187-201 2001 conf/iccs/2001 ICCS https://doi.org/10.1007/3-540-44583-8_14 db/conf/iccs/iccs2001.html#FerreR01 Jeanne Villaneau Jean-Yves Antoine Olivier Ridoux Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. 279-295 2001 conf/lacl/2001 LACL https://doi.org/10.1007/3-540-48199-0_17 db/conf/lacl/lacl2001.html#VillaneauAR01 Sébastien Ferré Olivier Ridoux A Framework for Developing Embeddable Customized Logics. 191-215 2001 conf/lopstr/2001 LOPSTR https://doi.org/10.1007/3-540-45607-4_11 db/conf/lopstr/lopstr2001.html#FerreR01 Sébastien Ferré Olivier Ridoux A File System Based on Concept Analysis. 1033-1047 https://doi.org/10.1007/3-540-44957-4_69 2000 conf/cl/2000 Computational Logic db/conf/cl/cl2000.html#FerreR00 Sébastien Ferré Olivier Ridoux A Logical Generalization of Formal Concept Analysis. 371-384 2000 conf/iccs/2000 ICCS db/conf/iccs/iccs2000.html#FerreR00 https://doi.org/10.1007/10722280_26 Erwan Jahier Mireille Ducassé Olivier Ridoux Spécification de modèles de traces à l'aide d'une sémantique par continuations. 67-84 2000 conf/jfplc/2000 JFPLC db/conf/jfplc/jfplc2000.html#JahierDR00 Erwan Jahier Mireille Ducassé Olivier Ridoux Specifying Prolog trace models with a continuation semantics. 2000 conf/lopstr/2000ext LOPSTR ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-jahier.ps.Z db/conf/lopstr/lopstr2000.html#JahierDR00 Erwan Jahier Mireille Ducassé Olivier Ridoux Specifying Prolog Trace Models with a Continuation Semantics. 165-182 2000 LOPSTR (LNCS 2042: Selected Papers) conf/lopstr/2000 https://doi.org/10.1007/3-540-45142-0_10 db/conf/lopstr/lopstr2000lncs.html#JahierDR00a

Catherine Belleannée Pascal Brisset Olivier Ridoux A Pragmatic Reconstruction of lambda-Prolog. 67-102 1999 41 J. Log. Program. 1 db/journals/jlp/jlp41.html#BelleanneeBR99 https://doi.org/10.1016/S0743-1066(98)10038-9

Olivier Ridoux Patrice Boizumault Frédéric Malésieux Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. 267-283 1999 conf/flops/1999 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops99.html#RidouxBM99 https://doi.org/10.1007/10705424_18 Frédéric Malésieux Olivier Ridoux Patrice Boizumault Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. 55-72 1999 conf/jfplc/1999 JFPLC db/conf/jfplc/jfplc1999.html#MalesieuxRB99 Daniel Le Métayer Valérie-Anne Nicolas Olivier Ridoux Verification by Testing for Recursive Program Schemes. 255-272 1999 conf/lopstr/1999 LOPSTR db/conf/lopstr/lopstr99.html#MetayerNR99 https://doi.org/10.1007/10720327_15 Erwan Jahier Mireille Ducassé Olivier Ridoux Specifying Byrd's Box Model with a Continuation Semantics. 1999 conf/lpe/1999 https://doi.org/10.1016/S1571-0661(05)82516-2 WLPE@ICLP db/conf/lpe/wlpe1999.html#JahierDR99 308-315

Daniel Le Métayer Valérie-Anne Nicolas Olivier Ridoux Exploring the Software Development Trilogy. 75-81 1998 15 IEEE Softw. 6 https://doi.org/10.1109/52.730849 http://doi.ieeecomputersociety.org/10.1109/52.730849 db/journals/software/software15.html#MetayerNR98

Frédéric Malésieux Olivier Ridoux Patrice Boizumault Abstract Compilation of lambda-Prolog. 130-144 1998 conf/iclp/1998 IJCSLP db/conf/iclp/iclp98.html#MalesiuexRB98 Frédéric Malésieux Olivier Ridoux Patrice Boizumault Compilation abstraite de LambdaProlog. 287- 1998 conf/jfplc/1998 JFPLC db/conf/jfplc/jfplc1998.html#MalesieuxRB98 Olivier Ridoux JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France Hermes JFPLC 1998 db/conf/jfplc/jfplc1998.html 2-86601-691-2 Olivier Ridoux Engineering Transformations of Attributed Grammars in LambdaProlog. 244-258 1996 conf/iclp/1996 JICSLP db/conf/iclp/iclp96.html#Ridoux96 https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278923 Pascale Louvet Olivier Ridoux Parametric Polymorphism for Typed Prolog and lambda-Prolog. 47-61 1996 conf/plilp/1996 PLILP db/conf/plilp/plilp96.html#LouvetR96 https://doi.org/10.1007/3-540-61756-6_76

Solange Coupet-Grimal Olivier Ridoux On the Use of Advanced Logic Programming Languages in Computational Linguistics. 121-159 1995 24 J. Log. Program. 1&2 db/journals/jlp/jlp24.html#Coupet-GrimalR95 https://doi.org/10.1016/0743-1066(95)00040-Q

Pascal Brisset Olivier Ridoux The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. 1994 conf/slp/1994w4 ILPS Workshop: Implementation Techniques for Logic Programming Languages ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94_workshop/brisset.ps.Z db/conf/slp/slp94-w4.html#BrissetR94 Olivier Ridoux Imagining CLP(A, equiv alpha beta) 209-230 Constraint Programming journals/lncs/1994-910 1994 db/journals/lncs/lncs910.html#Ridoux94 https://doi.org/10.1007/3-540-59155-9_12 Pascal Brisset Olivier Ridoux Continuations in Lambda-Prolog. 27-43 1993 conf/iclp/1993 ICLP db/conf/iclp/iclp93.html#BrissetR93 Serge Le Huitouze Pascale Louvet Olivier Ridoux Logic Grammars and Lambda-Prolog. 64-79 1993 conf/iclp/1993 ICLP db/conf/iclp/iclp93.html#HuitouzeLR93 Serge Le Huitouze Pascale Louvet Olivier Ridoux Les grammaires logiques et lambda-Prolog. 93-108 1993 conf/jfplc/1993 JFPL db/conf/jfplc/jfpl1993.html#HuitouzeLR93 Yves Bekkers Olivier Ridoux Lucien Ungaro Dynamic Memory Management for Sequential Logic Programming Languages. 82-102 1992 conf/iwmm/1992 IWMM db/conf/iwmm/iwmm92.html#BekkersRU92 https://doi.org/10.1007/BFb0017184 Pascal Brisset Olivier Ridoux Naïve Reverse Can be Linear. 857-870 1991 conf/iclp/1991 ICLP db/conf/iclp/iclp91.html#BrissetR91 Olivier Ridoux H. Tonneau Une mise en oeuvre de l'unification d'expressions booléennes. 551-570 1990 conf/jfplc/1990 SPLT db/conf/jfplc/jfplc1990.html#RidouxT90 Pascal Brisset Olivier Ridoux Quelques applications du filtrage paresseux. 479- 1989 conf/jfplc/1989 SPLT db/conf/jfplc/jfplc1989.html#BrissetR89 Olivier Ridoux Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. 128-136 1987 conf/isca/1987 ISCA db/conf/isca/isca87.html#Ridoux87 https://doi.org/10.1145/30350.30365 Louis Chevalier Serge Le Huitouze Olivier Ridoux Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. 245- 1987 conf/jfplc/1987 SPLT db/conf/jfplc/jfplc1987.html#ChevalierHR87 Serge Le Huitouze Olivier Ridoux Une expérience de réalisation du Gel et du Dif dans MALI. 269-280 1986 conf/jfplc/1986 SPLT db/conf/jfplc/jfplc1986.html#HuitouzeR86 Yves Bekkers Bernard Canet Olivier Ridoux Lucien Ungaro MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. 258-264 1986 conf/slp/1986 SLP db/conf/slp/slp86.html#BekkersCRU86 Yves Bekkers Bernard Canet Olivier Ridoux Lucien Ungaro A Memory Management Machine for Prolog Interpreter. 343-353 1984 conf/iclp/1984 ICLP db/conf/iclp/iclp84.html#BekkersCRU84 Yves Bekkers Bernard Canet Olivier Ridoux Lucien Ungaro Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG. 1984 conf/jfplc/1984 SPLT db/conf/jfplc/jfplc1984.html#BekkersCRU84 Pierre Allard Jean-Yves Antoine Olivier Bedel Yves Bekkers Catherine Belleannée Patrice Boizumault Pierre Boulet Sylvain Bouveret Pascal Brisset Aurélie Bugeau Bernard Canet Peggy Cellier Louis Chevalier Soda Marème Cissé Solange Coupet-Grimal Tristan Denmat Mireille Ducassé Sébastien Ferré Annie Foret Serge Le Huitouze Erwan Jahier Thomas P. Jensen Julien Lefèvre Anne-Laure Ligozat Pascale Louvet Frédéric Malésieux Kevin Marquet Philippe Marquet Daniel Le Métayer Olivier Michel 0001 Clément Morand Valérie-Anne Nicolas Yoann Padioleau Florimond Ployette Erwan Quesseveur Benjamin Sigonneau H. Tonneau Lucien Ungaro Jeanne Villaneau W. Eric Wong