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

Preparation and Utilization of Mixed States for Testing Quantum Programs.

Autori: Li, Yuechen Cai, Kai-Yuan Yin, Beibei

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-44, 44p

Predmety: QUANTUM computing, COMPUTER software testing, QUANTUM states, QUALITY assurance, QUANTUM electronics

LEAM++: Learning for Selective Mutation Fault Construction.

Autori: Tian, Zhao Chen, Junjie Wang, Dong a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-41, 41p

Predmety: COMPUTER software testing, MUTATIONS (Algebra), MATHEMATICAL optimization, DEEP learning, DEFECT tracking (Computer software development)

DRLMutation: A Comprehensive Framework for Mutation Testing in Deep Reinforcement Learning Systems.

Autori: Li, Jiapeng Zheng, Zheng Du, Xiaoting a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-32, 32p

Predmety: REINFORCEMENT learning, COMPUTER software testing, DEBUGGING, MUTATIONS (Algebra), SOFTWARE measurement, TEST methods

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs.

Autori: Kong, Jiaolong Xie, Xiaofei Cheng, Mingfei a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-31, 31p

Predmety: CHATGPT, LANGUAGE models, SOFTWARE failures, SOFTWARE maintenance, PROBLEM solving

Weighted Suspiciousness and Balanced Aggregation to Boost Spectrum-based Fault Localization of Deep Learning Models.

Autori: Xu, Wenjie Li, Yanhui Ma, Mingliang a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-28, 28p

Predmety: DEEP learning, SOFTWARE engineering, FAULT diagnosis, DEBUGGING, NEURON analysis, SOFTWARE failures

Autonomous Driving System Testing via Diversity-Oriented Driving Scenario Exploration.

Autori: Ji, Xinyu Xue, Lei He, Zhijian a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-28, 28p

Predmety: AUTONOMOUS vehicles, FAILURE analysis, TRAFFIC flow, HETEROGENEITY, TRAFFIC safety, MOTOR vehicle driving, QUALITY assurance, RISK assessment

Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-Trained Language Models.

Autori: Zhang, Quanjun Fang, Chunrong Zheng, Yi a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-23, 23p

Predmety: COMPUTER software quality control, ASSERTIONS (Logic), SOFTWARE validation, DEEP learning, LANGUAGE models, PROGRAMMING language semantics

TAEFuzz: Automatic Fuzzing for Image-based Deep Learning Systems via Transferable Adversarial Examples.

Autori: Ji, Shunhui Huang, Changrong Ren, Bin a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-31, 31p

Predmety: DEEP learning, COMPUTER software testing, PERTURBATION theory, ROBUST control, IMAGE processing, FAULT diagnosis

Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs.

Autori: Shi, Jieke Yang, Zhou He, Junda a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-35, 35p

Predmety: FALSIFICATION, COMPUTER software testing, AUTOMATIC control systems, SIMULATED annealing, OPTIMIZATION algorithms, DESIGN, SAFETY regulations, SAFETY standards

Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators.

Autori: Liu, Jiawei Zhang, Xufan Xu, Lurong a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-32, 32p

Predmety: CONVOLUTIONAL neural networks, FLOATING-point arithmetic, DETECTION algorithms, APPLIED sciences

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements.

Autori: Oldfield, Noah H. Laaber, Christoph Yue, Tao a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-39, 39p

Predmety: QUANTUM computing, QUANTUM measurement, FAULT diagnosis, QUANTUM superposition

Signal Feature Coverage and Testing for CPS Dataflow Models.

Autori: Bartocci, Ezio Mariani, Leonardo Nickovic, Dejan a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-37, 37p

Predmety: CYBER physical systems, DATA flow computing, FAULT diagnosis, QUALITY assurance

Reviews & Products: SIMULINK (Computer software)

Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts.

Autori: Barboni, Morena De Angelis, Guglielmo Morichetta, Andrea a ďalší

Zdroj: ACM Transactions on Internet Technology; Aug2025, Vol. 25 Issue 3, p1-30, 30p

Predmety: BLOCKCHAINS, COMPUTER software testing, SOFTWARE upgrades

Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases.

Autori: Zhao, Yifan Sun, Zeyu Wang, Guoqing a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-28, 28p

Predmety: FAULT diagnosis, REINFORCEMENT learning, COMPUTER software testing, DEBUGGING