Search Results - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics"

Binary level toolchain provenance identification with graph neural networks

Authors: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien et al.

Contributors: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien et al.

Source: SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering ; https://hal.science/hal-03447628 ; SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2021, Honolulu / Virtual, United States. pp.131-141, ⟨10.1109/SANER50967.2021.00021⟩ ; https://saner2021.shidler.hawaii.edu

Subject Terms: binary code analysis, graph neural networks, toolchain provenance, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, reverse engineering, and reengineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Subject Geographic: Honolulu / Virtual, United States

Relation: info:eu-repo/grantAgreement//830927/EU/Cyber security cOmpeteNCe fOr Research anD InnovAtion/CONCORDIA

Availability: https://hal.science/hal-03447628
https://hal.science/hal-03447628v1/document
https://hal.science/hal-03447628v1/file/SANER_2021_CAMERA_READY_1.pdf
https://doi.org/10.1109/SANER50967.2021.00021

Compiler and optimization level recognition using graph neural networks

Authors: Bardin, Sébastien Benoit, Tristan Marion, Jean-Yves et al.

Contributors: Bardin, Sébastien Benoit, Tristan Marion, Jean-Yves et al.

Source: MLPA 2020 - Machine Learning for Program Analysis ; https://hal.science/hal-03270335 ; MLPA 2020 - Machine Learning for Program Analysis, Jan 2021, Yokohama / Virtual, Japan ; https://sites.google.com/view/mlpa2020

Subject Terms: toolchain provenance, machine learning, reverse engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, and reengineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Subject Geographic: Yokohama / Virtual, Japan

Availability: https://hal.science/hal-03270335
https://hal.science/hal-03270335v1/document
https://hal.science/hal-03270335v1/file/Workshop_MLBA_MLPA_2020.pdf

GITLAB CI/CD and R environment - Build your own pipeline ; GITLAB CI/CD ET ENVIRONNEMENT R - CONSTRUIRE SON PROPRE PIPELINE

Authors: Rey, Jean-François Houde, Loïc Biostatistique et Processus Spatiaux (BioSP) et al.

Contributors: Rey, Jean-François Houde, Loïc Biostatistique et Processus Spatiaux (BioSP) et al.

Source: JDEV ; https://hal.science/hal-02899373 ; JDEV, Jul 2020, RENNES, France

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, 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.2: Diagnostics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.1: Integrated environments, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.2: Life cycle, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.7: Software quality assurance (SQA), [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: RENNES, France

Availability: https://hal.science/hal-02899373
https://hal.science/hal-02899373v1/document
https://hal.science/hal-02899373v1/file/JF_REY-JDEV2020-GitLab_R.pdf

Diagnosis of hybrid systems using Hybrid Particle Petri nets: theory and application on a planetary rover

Authors: Gaudel, Quentin Chanthery, Elodie Ribot, Pauline et al.

Contributors: Gaudel, Quentin Chanthery, Elodie Ribot, Pauline et al.

Source: Fault Diagnosis of Hybrid Dynamic and Complex Systems ; https://hal.science/hal-01905006 ; Moamar Sayed-Mouchaweh. Fault Diagnosis of Hybrid Dynamic and Complex Systems, Springer Verlag, pp.209-241, 2018, 978-3-319-74013-3. ⟨10.1007/978-3-319-74014-0_9⟩ ; https://link.springer.com/chapter/10.1007/978-3-319-74014-0_9https://link.springer.com/chapter/10.1007/978-3-319-74014-0_9

Subject Terms: ACM: B.: Hardware/B.4: INPUT/OUTPUT AND DATA COMMUNICATIONS/B.4.5: Reliability, Testing, and Fault-Tolerance/B.4.5.1: Diagnostics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Availability: https://hal.science/hal-01905006
https://hal.science/hal-01905006v1/document
https://hal.science/hal-01905006v1/file/diagnosis-hybrid-systems.pdf
https://doi.org/10.1007/978-3-319-74014-0_9

A Diagnosis Framework for Critical Systems Verification

Authors: Leilde, Vincent Ribaud, Vincent Teodorov, Ciprian et al.

Contributors: Leilde, Vincent Ribaud, Vincent Teodorov, Ciprian et al.

Source: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017
https://hal.science/hal-01559688
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
http://sefm17.fbk.eu/

Subject Terms: Framework, Critical systems, Verification, Diagnosis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Trente, Italy

Availability: https://hal.science/hal-01559688
https://hal.science/hal-01559688v1/document
https://hal.science/hal-01559688v1/file/SEFM_2017_paper_73.pdf

A classification of invasive patterns in AOP

Authors: Munoz, Freddy Baudry, Benoit Barais, Olivier et al.

Contributors: Munoz, Freddy Baudry, Benoit Barais, Olivier et al.

Source: https://inria.hal.science/inria-00266555 ; [Research Report] RR-6501, INRIA. 2008.

Subject Terms: Aspect-oriented programming, Classification system, Invasive AOP, program reasoning, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.2: Methodologies (e.g., object-oriented, structured), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0804.1696; ARXIV: 0804.1696

Availability: https://inria.hal.science/inria-00266555
https://inria.hal.science/inria-00266555v3/document
https://inria.hal.science/inria-00266555v3/file/RR-6501.pdf

Counterfactual Causality from First Principles?

Authors: Gössler, Gregor Sokolsky, Oleg Stefani, Jean-Bernard et al.

Contributors: Gössler, Gregor Sokolsky, Oleg Stefani, Jean-Bernard et al.

Source: 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017)
https://inria.hal.science/hal-01631415
2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), 2017, Uppsala, Sweden. pp.47 - 53, ⟨10.4204/EPTCS.259.5⟩

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Uppsala, Sweden

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1710.03393; ARXIV: 1710.03393

Availability: https://inria.hal.science/hal-01631415
https://doi.org/10.4204/EPTCS.259.5

A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation

Authors: Langevine, Ludovic Ducassé, Mireille SICS et al.

Contributors: Langevine, Ludovic Ducassé, Mireille SICS et al.

Source: International Conference on Logic Programming ; https://inria.hal.science/hal-00756836 ; International Conference on Logic Programming, 2003, Mumbay, India

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, 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]

Subject Geographic: Mumbay, India

Availability: https://inria.hal.science/hal-00756836