Coca: An automated Debugger for C

Mireille Ducassé 1
1 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Type de document :
Communication dans un congrès
International Conference on Automated Software Engineering, 1999, Los Angeles, United States. ACM Press, 1999
Liste complète des métadonnées
https://hal.inria.fr/hal-00756843
Contributeur : Mireille Ducassé <>
Soumis le : vendredi 23 novembre 2012 - 19:46:22
Dernière modification le : jeudi 15 novembre 2018 - 11:57:36

Identifiants

  • HAL Id : hal-00756843, version 1

Collections

UNIV-RENNES1 | IRISA | IRISA-INSA-R | IRISA-D7 | INRIA | INSTITUT-TELECOM | UR1-UFR-ISTIC | INSA-RENNES | UNIV-RENNES

Citation

Mireille Ducassé. Coca: An automated Debugger for C. International Conference on Automated Software Engineering, 1999, Los Angeles, United States. ACM Press, 1999. 〈hal-00756843〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

753

Contact


archive-ouverte@inria.fr