• Suche: "D.2.5: Testing and Debugging"

Treffer 1 - 20 von 264

1

Monilogging for Executable Domain-Specific Languages
Leroy, Dorian ; Lelandais, Benoît ; Oudot, Marie-Pierre ; et al.
SLE 2021 - 14th International Conference on Software Language Engineering. :1-14

Chicago, United States executable DSLs runtime monitoring logging ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Konferenz
Zu den Favoriten
2

Binary level toolchain provenance identification with graph neural networks
Benoit, Tristan ; Marion, Jean-Yves ; Bardin, Sébastien ; et al.
SANER 2021 - 28th IEEE International Conference on Software Analysis. :131-141

Honolulu / Virtual, Unit... binary code analysis graph neural networks toolchain provenance ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Konferenz
Zu den Favoriten
3

EnosLib: A Library for Experiment-Driven Research in Distributed Computing
Cherrueau, Ronan-Alexandre ; Delavergne, Marie ; van Kempen, Alexandre ; et al.
IEEE Transactions on Parallel and Distributed Systems. 33(6):1464-1477

Distributed computing ex... Performance evaluation Experiment-driven resear... ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... ACM: D.: Software …
Zeitschrift
Zu den Favoriten
4

Creation of an integrated molecular dynamics workflow on the Galaxy platform : Characterization of aquaporin pores
Petit, Agnès-Elisabeth ; Venisse, Jean-Stéphane ; Label, Philippe ; et al.

Rennes, France molecular dynamics aquaporins galaxy workflow ACM: D.: Software …
Konferenz
Zu den Favoriten
5

A Formal TLS Handshake Model in LNT
Bozic, Josip ; Marsso, Lina ; Mateescu, Radu ; et al.
MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation. :1-40

Thessaloniki, Greece ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification D.2.4.3: Formal methods …
Konferenz
Zu den Favoriten
6

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
Marsso, Lina ; Mateescu, Radu ; Serwe, Wendelin ; et al.
TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :211-228

Thessaloniki, Greece ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.5: Testing and Debug... D.2.4: Software Program Verification …
Konferenz
Zu den Favoriten
7

TAF: a tool for diverse and constrained test case generation
Robert, Clément ; Guiochet, Jérémie ; Waeselynck, Hélène ; et al.
21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩

Hanan Island, China simulation autonomous robots fuzzing test input generation test …
Konferenz
Zu den Favoriten
8

Towards exhaustive branch coverage with PathCrawler
Williams, Nicky ; Laboratoire Sûreté des Logiciels (LSL) ; Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)) ; et al.
2nd ACM/IEEE International Conference on Automation of Software Test AST 2021, May 2021, Madrid, Spain

Madrid, Spain automatic test generatio... branch coverage reachability concolic ACM: D.: Software …
Konferenz
Zu den Favoriten
9

Diagnosis of hybrid systems using Hybrid Particle Petri nets: theory and application on a planetary rover
Gaudel, Quentin ; Chanthery, Elodie ; Ribot, Pauline ; et al.
Moamar Sayed-Mouchaweh. Fault Diagnosis of Hybrid Dynamic and Complex Systems. :209-241

ACM: B.: Hardware B.4: INPUT OUTPUT AND DATA COMMUNIC... B.4.5: Reliability, Test... B.4.5.1: Diagnostics ACM: D.: Software …
Buch
Zu den Favoriten
10

Debugging of Concurrent Systems using Counterexample Analysis
Barbon, Gianluca ; Leroy, Vincent ; Salaün, Gwen ; et al.
7th International Conference on Fundamentals of Software Engineering (FSEN). :20-34

Tehran, Iran Concurrent Systems Model Checking Debugging Counterexamples ACM: D.: Software …
Konferenz
Zu den Favoriten
11

L'amplification de tests pour DevOps
Landry, Caroline ; Centre Inria de l'Université de Rennes ; Institut National de Recherche en Informatique et en Automatique (Inria)
Linux Magazine France. 227:1-16

Docker Open Source Génération de test Junit Java DevOps …
Zeitschrift
Zu den Favoriten
12

Compiler and optimization level recognition using graph neural networks
Bardin, Sébastien ; Benoit, Tristan ; Marion, Jean-Yves ; et al.

Yokohama / Virtual, Japa... toolchain provenance machine learning reverse engineering ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Konferenz
Zu den Favoriten
13

GITLAB CI/CD and R environment - Build your own pipeline
GITLAB CI/CD ET ENVIRONNEMENT R - CONSTRUIRE SON PROPRE PIPELINE
Rey, Jean-François ; Houde, Loïc ; Biostatistique et Processus Spatiaux (BioSP) ; et al.
JDEV, Jul 2020, RENNES, France

RENNES, France ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification D.2.4.8: Validation …
Konferenz
Zu den Favoriten
14

Generating test cases inside suspicious intervals for floating-point number programs
Collavizza, Hélène ; Michel, Claude ; Ponsini, Olivier ; et al.
CSTVA. :7-11

Hyderabad, India ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification D.2.5: Testing and Debug... …
Konferenz
Zu den Favoriten
15

CapiTainS Toolkit, Digital Editing and Data Reuse
Les outils CapiTainS, l’édition numérique et l’exploitation des textes
Clérice, Thibault ; Centre Jean Mabillon (CJM) ; École nationale des chartes (ENC) ; et al.
Médiévales. 73(73):115-131

réutilisation édition standard moissonnage valorisation ACM: D.: Software …
Zeitschrift
Zu den Favoriten
16

A Causal Model to predict the Effect of Business Process Evolution on Quality of Service
Feugas, Alexandre ; Mosser, Sébastien ; Duchien, Laurence ; et al.
Conference on the Quality of Software Architectures (QoSA). :143-152

Vancouver, Canada Business Process Evolution Quality of Service Causal Model ACM: D.: Software …
Konferenz
Zu den Favoriten
17

The Case for Using Simulation to Validate Event-B Specifications
Yang, Faqing ; Jacquot, Jean-Pierre ; Souquières, Jeanine ; et al.
APSEC2012 - The 19th Asia-Pacific Software Engineering Conference. :85-90

Hongkong, China ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.5: Testing and Debug... [INFO.INFO-SE]Computer S... Software Engineering [cs...
Konferenz
Zu den Favoriten
18

Abstraction-based Malware Analysis Using Rewriting and Model Checking
Beaucamps, Philippe ; Gnaedig, Isabelle ; Marion, Jean-Yves ; et al.
ESORICS - 17th European Symposium on Research in Computer Security - 2012. :806-823

Pisa, Italy Malware behavioral detection behavior abstraction trace term rewriting …
Konferenz
Zu den Favoriten
19

Knowledge Continuous Integration Process (K-CIP)
Skaf-Molli, Hala ; Desmontils, Emmanuel ; Nauer, Emmanuel ; et al.
WWW 2012 - SWCS'12 Workshop - 21st World Wide Web Conference - Semantic Web Collaborative Spaces workshop. :1075-1082

Lyon, France Knowledge Management Semantic Wiki Continuous Integration p... Ontology ACM: H.: Information Sys... …
Konferenz
Zu den Favoriten
20

Praspel: A Specification Language for Contract-Based Testing in PHP
Enderlin, Ivan ; Dadeau, Frédéric ; Giorgetti, Alain ; et al.
23th International Conference on Testing Software and Systems (ICTSS). :64-79

Paris, France formal specifications unit testing annotation language Design-by-Contract PHP …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter