From Execution to Necessity: Proof-Based Metrics for Code Coverage (Short Paper)

Authors: Mattsson, Karl, Author, Backeman, Peter, Author

Contributors: Mattsson, Karl, Author, Backeman, Peter, Author

Source: Lecture Notes in Computer Science. :317-325

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-77472
https://doi.org/10.1007/978-3-032-26220-2_16

CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction

Authors: Dhulipala, Hridya, Yadavally, Aashish, Patel, Smit Soneshbhai, Nguyen, Tien N.

Source: Proceedings of the ACM on Software Engineering. 2(FSE):2965-2986

Availability: http://dl.acm.org/doi/10.1145/3729401

kS-LLM: k-Step based Automatic LLM Test Case Generator using Caching Mechanism to Achieve Higher Code Coverage

Authors: Sharma, Anand, Vivek, Yelleti, Godboley, Sangharatna, Krishna, P. Radha

Source: Proceedings of the 19th Innovations in Software Engineering Conference. :1-5

Availability: http://dl.acm.org/doi/10.1145/3796563.3796569

Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests

Authors: Huck, Alexander, Schwitanski, Simon, Jammer, Tim, Jenke, Joachim, Oraji, Yussur Mustafa, Bischof, Christian

Source: SC25-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis High Performance Computing, Networking, Storage and Analysis, SC25-W: Workshops of the International Conference for. :179-187 Nov, 2025

Relation: SC25-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis

Software Unit Test Automation with LLM-Based Generative AI: Evaluating Test Quality through Code Coverage and Edge-Case Analysis

Authors: Genc, Sevdanur, Ceylan, Mustafa Furkan, Istanbullu, Ayhan

Source: 2025 10th International Conference on Computer Science and Engineering (UBMK) Computer Science and Engineering (UBMK), 2025 10th International Conference on. :242-247 Sep, 2025

Relation: 2025 10th International Conference on Computer Science and Engineering (UBMK)

Lightweight Code Coverage Analysis for Deep Learning Library Fuzzing

Authors: Li, Senyi, Yang, Bing, Yu, Hongfang, Luo, Long

Source: 2025 IEEE 10th International Conference on Data Science in Cyberspace (DSC) DSC Data Science in Cyberspace (DSC), 2025 IEEE 10th International Conference on. :643-650 Aug, 2025

Relation: 2025 IEEE 10th International Conference on Data Science in Cyberspace (DSC)

Augmenting Black-Box Unit Testing with Crafted Mockups and Code Coverage Analysis

Authors: Bensch, Aidan, Hammel, Melody, Lin, Lan

Source: 2025 Interdisciplinary Conference on Electrics and Computer (INTCEC) Electrics and Computer (INTCEC), 2025 Interdisciplinary Conference on. :1-8 Sep, 2025

Relation: 2025 Interdisciplinary Conference on Electrics and Computer (INTCEC)

LLM Assisted Code Coverage Closure

Authors: Unnikrishnan, Supriya

Source: 2025 IEEE 38th International System-on-Chip Conference (SOCC) System-on-Chip Conference (SOCC), 2025 IEEE 38th International. :1-5 Sep, 2025

Relation: 2025 IEEE 38th International System-on-Chip Conference (SOCC)

Demo: Reverse Engineering Android Apps with Code Coverage

Authors: Pilgun, Aleksandr

Source: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :4725-4727

Availability: http://dl.acm.org/doi/10.1145/3719027.3762169

Improving time predictability and code coverage of embedded GPUs for feal-time systems

Authors: Barrera Herrera, Javier Enrique

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Cazorla Almeida, Francisco Javier, Kosmidis, Leonidas

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Real-Time, Time Predictability, Code Coverage, Graphics Processing Unit, Critical Embedded Systems, Hardware Event Monitor, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

File Description: application/pdf

Access URL: https://hdl.handle.net/10803/696855
https://dx.doi.org/10.5821/dissertation-2117-456465

BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage

Authors: Krahl, Markus, Gudemann, Matthias, Wallentowitz, Stefan

Source: 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) ASEW Automated Software Engineering Workshops (ASEW), 2025 40th IEEE/ACM International Conference on. :145-152 Nov, 2025

Relation: 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)

Towards Refined Code Coverage: A New Predictive Problem in Software Testing

Authors: Brandt, Carolin, Ramirez, Aurora

Source: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST) Software Testing, Verification and Validation (ICST), 2025 IEEE Conference on. :613-617 Mar, 2025

Relation: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)

An Act to Amend Title 38, United States Code, to Require the Secretary of Veterans Affairs to Periodically Review the Automatic Maximum Coverage Under the Servicemembers' Group Life Insurance Program and the Veterans' Group Life Insurance Program, and for Other Purposes.

Authors: United States, enacting jurisdiction.

Subject Terms: Statutes and codes., Government life insurance -- Law and legislation -- United States., Military dependents -- United States., Veterans' families -- United States., Armed Forces and National Security.

Other Titles: Fairness for Servicemembers and Their Families Act of 2025Fairness for Servicemembers and Their Families Act of 2025

Online Access: https://purl.fdlp.gov/GPO/gpo251440
https://purl.fdlp.gov/GPO/gpo251441
https://www.govinfo.gov/content/pkg/PLAW-119publ54/pdf/PLAW-119publ54.pdf
https://www.govinfo.gov/content/pkg/PLAW-119publ54/html/PLAW-119publ54.htm

Code, Test, and Coverage Evolution in Mature Software Systems: Changes Over the Past Decade

Authors: Bailey, Thomas, Cadar, Cristian

Source: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST) Software Testing, Verification and Validation (ICST), 2025 IEEE Conference on. :210-220 Mar, 2025

Relation: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)

Efficient Incremental Code Coverage Analysis for Regression Test Suites

Authors: Wang, Jiale Amber, Wang, Kaiyuan, Nie, Pengyu

Source: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2024 39th IEEE/ACM International Conference on. :1882-1894 Oct, 2024

Relation: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Android applications code coverage tools: a comparative study

Authors: A., Usman, A. I., Salihu, A. A., Muazu, O. N., Eke, M. A., Usman

Source: Journal of Basics and Applied Sciences Research ; Vol. 3 No. 4 (2025); 216-224

Subject Terms: android, mobile application, code coverage, software testing

File Description: application/pdf

Access URL: https://www.ajol.info/index.php/jobasr/article/view/302673

Exploring the Interaction of Code Coverage and Non-Coverage Objectives in Search-Based Test Generation

Authors: Fontes, Afonso, 1987, Author, Gay, Gregory, 1987, Author, Feldt, Robert, 1972, Author

Contributors: Fontes, Afonso, 1987, Author, Gay, Gregory, 1987, Author, Feldt, Robert, 1972, Author

Source: Automatiserad testning av gränser för kvalitet på AI/ML modeller (AQUAS) Context-Infused Automated Software Test Generation Software Testing Verification and Reliability. 35(6-7)

Subject Terms: search-based test generation, automated test generation, branch coverage, coverage criteria, adequacy criteria

File Description: electronic

Access URL: https://research.chalmers.se/publication/548656
https://research.chalmers.se/publication/548656/file/548656_Fulltext.pdf

Productive Coverage: Improving the Actionability of Code Coverage

Authors: Ivankovic, Marko, Petrovic, Goran, Kulizhskaya, Yana, Lewko, Mateusz, Kalinovcic, Luka, Just, Rene, Fraser, Gordon

Source: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ICSE-SEIP Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2024 IEEE/ACM 46th International Conference on. :58-68 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

Causal Inference for the Effect of Code Coverage on Bug Introduction

Authors: Schulte, Lukas, Fraser, Gordon, Herbold, Steffen

Subject Terms: Software Engineering

Access URL: http://arxiv.org/abs/2602.03585

WallMauer: Robust Code Coverage Instrumentation for Android Apps

Authors: Auer, Michael, Moreno, Ivan Arcuschin, Fraser, Gordon

Source: 2024 IEEE/ACM International Conference on Automation of Software Test (AST) AST Automation of Software Test (AST), 2024 IEEE/ACM International Conference on. :34-44 Apr, 2024

Relation: 2024 IEEE/ACM International Conference on Automation of Software Test (AST)