Výsledky vyhľadávania - 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

Autori: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François a ďalší

Prispievatelia: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François a ďalší

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

Predmety: 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

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

Logic programming environments: Dynamic program analysis and debugging

Autori: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a ďalší

Prispievatelia: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a ďalší

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

Predmety: 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]

Prí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

Rotten Green Tests A First Analysis

Autori: Delplanque, Julien Ducasse, Stéphane Black, Andrew a ďalší

Prispievatelia: Delplanque, Julien Ducasse, Stéphane Black, Andrew a ďalší

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

Predmety: 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]

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

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

Autori: Fraboulet, Antoine Chelius, Guillaume Fleury, Eric a ďalší

Prispievatelia: Fraboulet, Antoine Chelius, Guillaume Fleury, Eric a ďalší

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⟩

Predmety: 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

Dostupnosť: 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

Autori: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a ďalší

Prispievatelia: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a ďalší

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

Predmety: 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

Dostupnosť: 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

Autori: Denmat, Tristan Ducassé, Mireille Ridoux, Olivier a ďalší

Prispievatelia: Denmat, Tristan Ducassé, Mireille Ridoux, Olivier a ďalší

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

Predmety: 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

Dostupnosť: https://inria.hal.science/hal-00756834

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

Autori: Langevine, Ludovic Ducassé, Mireille SICS a ďalší

Prispievatelia: Langevine, Ludovic Ducassé, Mireille SICS a ďalší

Zdroj: ISSN: 1471-0684.

Predmety: 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]

Dostupnosť: https://inria.hal.science/hal-00756824

Coca: An automated Debugger for C

Autori: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a ďalší

Prispievatelia: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a ďalší

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

Predmety: 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

Dostupnosť: https://inria.hal.science/hal-00756843

Opium: An extendable trace analyser for Prolog.

Autori: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a ďalší

Prispievatelia: Ducassé, Mireille Logical Information Systems (LIS) GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) a ďalší

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

Predmety: 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]

Dostupnosť: https://inria.hal.science/hal-00756828