Výsledky vyhledávání - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids"

Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

Autoři: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François a další

Přispěvatelé: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François a další

Zdroj: ISSRE17 - 28th International Symposium on Software Reliability Engineering ; https://inria.hal.science/hal-01592671 ; ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.0: Code inspections and walk-throughs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Toulouse, France

Dostupnost: https://inria.hal.science/hal-01592671
https://inria.hal.science/hal-01592671v1/document
https://inria.hal.science/hal-01592671v1/file/ieee.pdf

Rotten Green Tests A First Analysis

Autoři: Delplanque, Julien Ducasse, Stéphane Black, Andrew a další

Přispěvatelé: Delplanque, Julien Ducasse, Stéphane Black, Andrew a další

Zdroj: https://hal.science/hal-01819302 ; [Research Report] Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille; Portland State University, Oregon, USA. 2018.

Témata: rotten green tests, unit tests, testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnost: https://hal.science/hal-01819302
https://hal.science/hal-01819302v2/document
https://hal.science/hal-01819302v2/file/main.pdf

Logic programming environments: Dynamic program analysis and debugging

Autoři: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a další

Přispěvatelé: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a další

Zdroj: The Journal of Logic Programming. :351-384

Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Logic, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Přístupová URL adresa: https://inria.hal.science/hal-00756832v1
https://hal.inria.fr/inria-00074067
https://dblp.uni-trier.de/db/journals/jlp/jlp19.html#DucasseN94
https://hal.inria.fr/inria-00074067/document
https://www.sciencedirect.com/science/article/pii/0743106694900302
http://www.sciencedirect.com/science/article/pii/0743106694900302

Worldsens: development and prototyping tools for application specific wireless sensors networks

Autoři: Fraboulet, Antoine Chelius, Guillaume Fleury, Eric a další

Přispěvatelé: Fraboulet, Antoine Chelius, Guillaume Fleury, Eric a další

Zdroj: 6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007)
https://inria.hal.science/inria-00384835
6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007), ACM/IEEE, Apr 2007, Cambridge, United States. pp.176-185, ⟨10.1145/1236360.1236385⟩

Témata: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.1: Integrated environments, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Geografické téma: Cambridge, United States

Dostupnost: https://inria.hal.science/inria-00384835
https://inria.hal.science/inria-00384835v1/document
https://inria.hal.science/inria-00384835v1/file/ipsn-07.pdf
https://doi.org/10.1145/1236360.1236385

(C)LP Tracing and Debugging

Autoři: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a další

Přispěvatelé: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a další

Zdroj: 25th International Conference on Logic Programming
https://inria.hal.science/hal-00756837
25th International Conference on Logic Programming, 2009, Pasadena, United States

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: United States

Time: Pasadena, United States

Dostupnost: https://inria.hal.science/hal-00756837

Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization

Autoři: Denmat, Tristan Ducassé, Mireille Ridoux, Olivier a další

Přispěvatelé: Denmat, Tristan Ducassé, Mireille Ridoux, Olivier a další

Zdroj: International Conference on Automated Software Engineering ; https://inria.hal.science/hal-00756834 ; International Conference on Automated Software Engineering, 2005, Long Beach, United States

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Long Beach, United States

Dostupnost: https://inria.hal.science/hal-00756834

Coca: An automated Debugger for C

Autoři: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a další

Přispěvatelé: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a další

Zdroj: International Conference on Automated Software Engineering ; https://inria.hal.science/hal-00756843 ; International Conference on Automated Software Engineering, 1999, Los Angeles, United States

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Los Angeles, United States

Dostupnost: https://inria.hal.science/hal-00756843

Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs.

Autoři: Langevine, Ludovic Ducassé, Mireille SICS a další

Přispěvatelé: Langevine, Ludovic Ducassé, Mireille SICS a další

Zdroj: ISSN: 1471-0684.

Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnost: https://inria.hal.science/hal-00756824

Opium: An extendable trace analyser for Prolog.

Autoři: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a další

Přispěvatelé: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a další

Zdroj: ISSN: 0743-1066 ; Journal of Logic Programming ; https://inria.hal.science/hal-00756828 ; Journal of Logic Programming, 1999.

Témata: Prolog, Software Engineering, Automated Debugging, Trace Query Language, Program Execution Analysis, Abstract Views of Program Executions, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnost: https://inria.hal.science/hal-00756828