Data mining and cross-checking of execution traces. A reinterpretation of Jones, Harrold and Stasko test information visualization
2005 · 6 citations
M
Mireille Ducassé
Institut de Recherche en Informatique et Systèmes Aléatoires(FR)
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
148
Papers
1.2K
Citations
16
h-index
27
i10-index
Mireille Ducassé is an academic researcher from Institut de Recherche en Informatique et Systèmes Aléatoires. The author has contributed to research in topics: Software Testing and Debugging Techniques & Semantic Web and Ontologies & Logic, programming, and type systems. The author has an h-index of 16, co-authored 126 publications.
ORCID: 0000-0003-1084-4322Papers by this author
worksHelping Facilitators Build on Experience When Preparing Meetings With Logical Information Systems
2013 · HAL (Le Centre pour la Communication Scientifique Directe) · 2 citations
Automated Analysis of CLP(FD) Program Execution Traces
2002 · 0 citations
Fouille de données pour la localisation de fautes dans les programmes
2010 · HAL (Le Centre pour la Communication Scientifique Directe) · 0 citations
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency
2007 · 0 citations
Kartu-Verbs : un système d'informations logiques de formes verbales fléchies pour contourner les problèmes de lemmatisation des verbes géorgiens
2022 · SPIRE - Sciences Po Institutional REpository · 0 citations
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat