Výsledky vyhľadávania - "Software and its engineering → Software testing and debugging"

Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)

Autori: Le Tolguenec, Paul-Antoine Rachelson, Emmanuel Besse, Yann a ďalší

Prispievatelia: Le Tolguenec, Paul-Antoine Rachelson, Emmanuel Besse, Yann a ďalší

Zdroj: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :920-931

Predmety: CCS Concepts, critical software system, • Applied computing → Avionics, physical system, software reliability, [INFO] Computer Science [cs], automated testing, genetic algorithms, diversity, Computer systems organization → Reliability, evolutionary strategies, • Software and its engineering → Software testing and debugging Reinforcement learning, intrinsic motivation, • Computing methodologies → Reinforcement learning

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04774965v1/document
https://doi.org/10.1145/3650212.3680331
https://hal.science/hal-04774965v1

Determinacy Race Detector for Promises (Artifact)

Autori: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Prispievatelia: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Predmety: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

A deterministic memory allocator for dynamic symbolic execution

Autori: Schemmel, Daniel Büning, Julian Busse, Frank a ďalší

Prispievatelia: Schemmel, Daniel Büning, Julian Busse, Frank a ďalší

Zdroj: 36th European Conference on Object-Oriented Programming (ECOOP 2022)
9:26
9:1

Predmety: dynamic symbolic execution, Software and its engineering → Software testing and debugging, memory allocation, ddc:004

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10044/1/97506
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.9

Featured model-based mutation analysis

Autori: Devroey, Xavier Perrouin, Gilles Papadakis, Mike a ďalší

Prispievatelia: Devroey, Xavier Perrouin, Gilles Papadakis, Mike a ďalší

Zdroj: 38th International Conference on Software Engineering (ICSE'16). (2016).
Devroey, X, Perrouin, G, Papadakis, M, Legay, A, Schobbens, P & Heymans, P 2016, Featured Model-based Mutation Analysis. in Proceedings of the 38th international conference on Software Engineering. ICSE '16, ACM Press, Austin, TX, USA, pp. 655-666. https://doi.org/10.1145/2884781.2884821

Predmety: Computer science [C05] [Engineering, computing & technology], Featured Transition Systems CCS Concepts •Software and its engineering → Software testing and debugging, variability, Software product lines, 02 engineering and technology, [INFO] Computer Science [cs], Sciences informatiques [C05] [Ingénierie, informatique & technologie], featured transition systems, •General and reference → Performance, 0202 electrical engineering, electronic engineering, information engineering, Mutation Analysis, Variability, mutation analysis

Popis súboru: application/pdf

Prístupová URL adresa: https://orbilu.uni.lu/bitstream/10993/28926/1/icse16_mutants_exec.pdf
https://researchportal.unamur.be/en/publications/f539fd2e-a918-403e-879b-11799a1aaaed
https://doi.org/10.1145/2884781.2884821
https://inria.hal.science/hal-01406512v1
https://doi.org/10.1145/2884781.2884821
https://dl.acm.org/doi/pdf/10.1145/2884781.2884821
http://ieeexplore.ieee.org/document/7886942/
http://orbilu.uni.lu/handle/10993/28926
https://ieeexplore.ieee.org/document/7886942/
https://pure.fundp.ac.be/ws/files/13634077/icse16_mutants_exec.pdf
https://doi.org/10.1145/2884781.2884821
http://orbilu.uni.lu/handle/10993/28926
https://pure.unamur.be/ws/files/13634077/icse16_mutants_exec.pdf

Interactive Runtime Verification: Formal Models, Algorithms, and Implementation ; Vérification de propriété interactive : modèles formels, algorithmes et mise en œuvre

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: https://inria.hal.science/hal-02190656 ; [Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019.

Predmety: CCS Concepts: • Software and its engineering → Software testing and debugging Additional Key Words and Phrases: runtime verification, property, monitoring, debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://inria.hal.science/hal-02190656
https://inria.hal.science/hal-02190656v1/document
https://inria.hal.science/hal-02190656v1/file/acmsmall.pdf

Interactive Runtime Verification: Formal Models, Algorithms, and Implementation

Autori: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François

Prispievatelia: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François

Predmety: CCS Concepts: • Software and its engineering → Software testing and debugging Additional Key Words and Phrases: runtime verification, property, monitoring, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], debugging

Popis súboru: application/pdf

Prístupová URL adresa: https://inria.hal.science/hal-02190656v1