Travelled to:1 × Belgium
1 × Denmark
1 × France
1 × Germany
1 × India
1 × Italy
1 × Singapore
3 × United Kingdom
7 × USA
Collaborated with:∅ O.Ridoux L.Langevine E.Jahier S.Mallet P.Cellier S.Ferré L.Rozé S.Schoenig A.Emde T.Denmat P.Deransart
Talks about:trace (7) prolog (6) execut (5) debug (4) tracer (3) local (3) autom (3) mine (3) data (3) interpret (2)
Person: Mireille Ducassé
DBLP: Ducass=eacute=:Mireille
Contributed to:
2011
20092009
2005200420032002
200020001999
199919991998
1996
199219911988Wrote 19 papers:
- SEKE-2011-CellierDFR #data mining #fault #locality #mining #multi
- Multiple Fault Localization with Data Mining (PC, MD, SF, OR), pp. 238–243.
- ICLP-2009-Ducasse #debugging
- (C)LP Tracing and Debugging (MD), p. 38.
- SEKE-2009-CellierDFR #data mining #fault #locality #mining #named #process
- DeLLIS: A Data Mining Process for Fault Localization (PC, MD, SF, OR), pp. 432–437.
- ASE-2005-DenmatDR #data mining #execution #mining
- Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information (TD, MD, OR), pp. 396–399.
- ICLP-2004-LangevineD #debugging #monitoring #visualisation
- A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer (LL, MD), pp. 462–463.
- ICLP-2003-LangevineDD #implementation #performance #prolog
- A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.
- ICLP-2002-DucasseL #analysis #automation #execution
- Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.
- LOPSTR-2000-JahierDR #continuation #modelling #prolog #semantics #specification
- Specifying Prolog trace models with a continuation semantics (EJ, MD, OR).
- LOPSTR-J-2000-JahierDR #continuation #modelling #prolog #semantics #specification
- Specifying Prolog Trace Models with a Continuation Semantics (EJ, MD, OR), pp. 165–182.
- ICLP-1999-JahierD #approach #monitoring
- A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.
- ICLP-1999-MalletD #database #deduction #generative
- Generating Deductive Database Explanations (SM, MD), pp. 154–168.
- ICSE-1999-Ducasse #automation #c #debugging #named
- Coca: An automated Debugger for C (MD), pp. 504–513.
- LOPSTR-1999-DucasseR #consistency #formal method #proving
- Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency (MD, LR), pp. 10–29.
- LOPSTR-1998-MalletD #database #debugging #deduction #named #relational
- Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging (SM, MD), pp. 328–330.
- SAS-1996-SchoenigD #algorithm #prolog #slicing
- A Backward Slicing Algorithm for Prolog (SS, MD), pp. 317–331.
- PLILP-1992-Ducasse #prolog #query
- A General Trace Query Mechanism Based on Prolog (MD), pp. 400–414.
- ISLP-1991-Ducasse #prolog
- Abstract Views of Prolog Executions in Opium (MD), pp. 18–32.
- ICSE-1988-DucasseE #automation #debugging #overview
- A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques (MD, AME), pp. 162–173.