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

Συγγραφείς: Mattsson, Karl, Author, Backeman, Peter, Author

Συνεισφορές: Mattsson, Karl, Author, Backeman, Peter, Author

Πηγή: Lecture Notes in Computer Science. :317-325

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Dhulipala, Hridya, Yadavally, Aashish, Patel, Smit Soneshbhai, Nguyen, Tien N.

Πηγή: Proceedings of the ACM on Software Engineering. 2(FSE):2965-2986

Διαθεσιμότητα: 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

Συγγραφείς: Sharma, Anand, Vivek, Yelleti, Godboley, Sangharatna, Krishna, P. Radha

Πηγή: Proceedings of the 19th Innovations in Software Engineering Conference. :1-5

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3796563.3796569

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

Συγγραφείς: Huck, Alexander, Schwitanski, Simon, Jammer, Tim, Jenke, Joachim, Oraji, Yussur Mustafa, Bischof, Christian

Πηγή: 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

Συγγραφείς: Genc, Sevdanur, Ceylan, Mustafa Furkan, Istanbullu, Ayhan

Πηγή: 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

Συγγραφείς: Li, Senyi, Yang, Bing, Yu, Hongfang, Luo, Long

Πηγή: 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

Συγγραφείς: Bensch, Aidan, Hammel, Melody, Lin, Lan

Πηγή: 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

Συγγραφείς: Unnikrishnan, Supriya

Πηγή: 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

Συγγραφείς: Pilgun, Aleksandr

Πηγή: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :4725-4727

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3719027.3762169

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

Συγγραφείς: Barrera Herrera, Javier Enrique

Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

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

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Krahl, Markus, Gudemann, Matthias, Wallentowitz, Stefan

Πηγή: 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

Συγγραφείς: Brandt, Carolin, Ramirez, Aurora

Πηγή: 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.

Συγγραφείς: United States, enacting jurisdiction.

Θεματικοί όροι: 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: 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

Συγγραφείς: Bailey, Thomas, Cadar, Cristian

Πηγή: 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

Συγγραφείς: Wang, Jiale Amber, Wang, Kaiyuan, Nie, Pengyu

Πηγή: 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

Συγγραφείς: A., Usman, A. I., Salihu, A. A., Muazu, O. N., Eke, M. A., Usman

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

Θεματικοί όροι: android, mobile application, code coverage, software testing

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Fontes, Afonso, 1987, Author, Gay, Gregory, 1987, Author, Feldt, Robert, 1972, Author

Συνεισφορές: Fontes, Afonso, 1987, Author, Gay, Gregory, 1987, Author, Feldt, Robert, 1972, Author

Πηγή: 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)

Θεματικοί όροι: search-based test generation, automated test generation, branch coverage, coverage criteria, adequacy criteria

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://research.chalmers.se/publication/548656
https://research.chalmers.se/publication/548656/file/548656_Fulltext.pdf

Productive Coverage: Improving the Actionability of Code Coverage

Συγγραφείς: Ivankovic, Marko, Petrovic, Goran, Kulizhskaya, Yana, Lewko, Mateusz, Kalinovcic, Luka, Just, Rene, Fraser, Gordon

Πηγή: 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

Συγγραφείς: Schulte, Lukas, Fraser, Gordon, Herbold, Steffen

Θεματικοί όροι: Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2602.03585

WallMauer: Robust Code Coverage Instrumentation for Android Apps

Συγγραφείς: Auer, Michael, Moreno, Ivan Arcuschin, Fraser, Gordon

Πηγή: 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)