Search Results - "Software and its engineering→Software testing and debugging"

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

Authors: Le Tolguenec, Paul-Antoine Rachelson, Emmanuel Besse, Yann et al.

Contributors: Le Tolguenec, Paul-Antoine Rachelson, Emmanuel Besse, Yann et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://hal.science/hal-04774965v1/document
https://doi.org/10.1145/3650212.3680331
https://hal.science/hal-04774965v1

Determinacy Race Detector for Promises (Artifact)

Authors: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Contributors: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Subject Terms: 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

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

A deterministic memory allocator for dynamic symbolic execution

Authors: Schemmel, Daniel Büning, Julian Busse, Frank et al.

Contributors: Schemmel, Daniel Büning, Julian Busse, Frank et al.

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

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

File Description: application/pdf

Access URL: http://hdl.handle.net/10044/1/97506
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.9

Featured model-based mutation analysis

Authors: Devroey, Xavier Perrouin, Gilles Papadakis, Mike et al.

Contributors: Devroey, Xavier Perrouin, Gilles Papadakis, Mike et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François et al.

Contributors: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François et al.

Source: 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.

Subject Terms: 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]

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

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

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://inria.hal.science/hal-02190656v1

Preparation and Utilization of Mixed States for Testing Quantum Programs.

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

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

Subject Terms: QUANTUM computing, COMPUTER software testing, QUANTUM states, QUALITY assurance, QUANTUM electronics

LEAM++: Learning for Selective Mutation Fault Construction.

Authors: Tian, Zhao Chen, Junjie Wang, Dong et al.

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

Subject Terms: 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.

Authors: Li, Jiapeng Zheng, Zheng Du, Xiaoting et al.

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

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

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

Authors: Kong, Jiaolong Xie, Xiaofei Cheng, Mingfei et al.

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

Subject Terms: CHATGPT, LANGUAGE models, SOFTWARE failures, SOFTWARE maintenance, PROBLEM solving

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

Authors: Xu, Wenjie Li, Yanhui Ma, Mingliang et al.

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

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

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

Authors: Ji, Xinyu Xue, Lei He, Zhijian et al.

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

Subject Terms: 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.

Authors: Zhang, Quanjun Fang, Chunrong Zheng, Yi et al.

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

Subject Terms: 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.

Authors: Ji, Shunhui Huang, Changrong Ren, Bin et al.

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

Subject Terms: 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.

Authors: Shi, Jieke Yang, Zhou He, Junda et al.

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

Subject Terms: 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.

Authors: Liu, Jiawei Zhang, Xufan Xu, Lurong et al.

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

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

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

Authors: Oldfield, Noah H. Laaber, Christoph Yue, Tao et al.

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

Subject Terms: QUANTUM computing, QUANTUM measurement, FAULT diagnosis, QUANTUM superposition

Signal Feature Coverage and Testing for CPS Dataflow Models.

Authors: Bartocci, Ezio Mariani, Leonardo Nickovic, Dejan et al.

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

Subject Terms: 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.

Authors: Barboni, Morena De Angelis, Guglielmo Morichetta, Andrea et al.

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

Subject Terms: BLOCKCHAINS, COMPUTER software testing, SOFTWARE upgrades

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

Authors: Zhao, Yifan Sun, Zeyu Wang, Guoqing et al.

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

Subject Terms: FAULT diagnosis, REINFORCEMENT learning, COMPUTER software testing, DEBUGGING