Buchumschlag

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kauffman, Sean, Moreno, Carlos, Fischmeister, Sebastian
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generalized Coverage Criteria for Combinatorial Sequence Testing
von: Elyasaf, Achiya, et al.
Veröffentlicht: (2022)

Testing Agentic Workflows with Structural Coverage Criteria
von: Kahani, Nafiseh, et al.
Veröffentlicht: (2026)

DeepParse: Hybrid Log Parsing with LLM-Synthesized Regex Masks
von: Shetaia, Amir, et al.
Veröffentlicht: (2026)

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
von: Zhou, Zhichao, et al.
Veröffentlicht: (2023)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
von: Faria, João Pascoal, et al.
Veröffentlicht: (2026)

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
von: Fu, An, et al.
Veröffentlicht: (2024)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
von: Qi, Binhang, et al.
Veröffentlicht: (2026)

Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks
von: Zhou, Shide, et al.
Veröffentlicht: (2024)

Testing with AI Agents: An Empirical Study of Test Generation Frequency, Quality, and Coverage
von: Yoshimoto, Suzuka, et al.
Veröffentlicht: (2026)

Computational Complexity of Edge Coverage Problem for Constrained Control Flow Graphs
von: Ruszil, Jakub, et al.
Veröffentlicht: (2026)

Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion": A Critical Review and Implications on DNN Coverage Testing
von: Kim, Jinhan, et al.
Veröffentlicht: (2026)

Reinforcement Learning-Based REST API Testing with Multi-Coverage
von: Nguyen, Tien-Quang, et al.
Veröffentlicht: (2024)

Efficient Incremental Code Coverage Analysis for Regression Test Suites
von: Wang, Jiale Amber, et al.
Veröffentlicht: (2024)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
von: Pan, Rongqi, et al.
Veröffentlicht: (2025)

Assessing REST API Test Generation Strategies with Log Coverage
von: Reinikainen, Nana, et al.
Veröffentlicht: (2026)

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
von: Kumar, Aman, et al.
Veröffentlicht: (2024)

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases
von: Yang, Zhenzhen, et al.
Veröffentlicht: (2025)

RACC: Representation-Aware Coverage Criteria for LLM Safety Testing
von: Wei, Zeming, et al.
Veröffentlicht: (2026)

Coverage-Guided Testing for Deep Learning Models: A Comprehensive Survey
von: Guo, Hongjing, et al.
Veröffentlicht: (2025)

Formalizing Regression Testing for Agile and Continuous Integration Environments
von: Das, Suddhasvatta, et al.
Veröffentlicht: (2025)

Flexible Control Flow Graph Alignment for Delivering Data-Driven Feedback to Novice Programming Learners
von: Chowdhury, Md Towhidul Absar, et al.
Veröffentlicht: (2024)

Formal Synthesis of Uncertainty Reduction Controllers
von: Carwehl, Marc, et al.
Veröffentlicht: (2024)

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics
von: Rahman, Sheikh Md. Mushfiqur, et al.
Veröffentlicht: (2026)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
von: Chu, Bei, et al.
Veröffentlicht: (2025)

Coverage-Guided Road Selection and Prioritization for Efficient Testing in Autonomous Driving Systems
von: Ali, Qurban, et al.
Veröffentlicht: (2026)

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
von: Qin, Feiran, et al.
Veröffentlicht: (2025)

Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing
von: Mirian-Hosseinabadi, Seyed-Hassan
Veröffentlicht: (2024)

Methodology for Test Case Allocation based on a Formalized ODD
von: Skoglund, Martin, et al.
Veröffentlicht: (2025)

Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
von: Yıldıran, Necip Fazıl, et al.
Veröffentlicht: (2024)

Formal Verification of Consistency for Systems with Redundant Controllers
von: Johansson, Bjarne, et al.
Veröffentlicht: (2024)

Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
von: Wang, Dingding, et al.
Veröffentlicht: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
von: Li, Hui, et al.
Veröffentlicht: (2025)

Many-Objective Search-Based Coverage-Guided Automatic Test Generation for Deep Neural Networks
von: Li, Dongcheng, et al.
Veröffentlicht: (2024)

Metamorphic Coverage
von: Ba, Jinsheng, et al.
Veröffentlicht: (2025)

Enhancing NeuroEvolution-Based Game Testing: A Branch Coverage Approach for Scratch Programs
von: Sohail, Khizra, et al.
Veröffentlicht: (2025)

Coverage Isn't Enough: SBFL-Driven Insights into Manually Created vs. Automatically Generated Tests
von: Shimizu, Sasara, et al.
Veröffentlicht: (2025)

Toward Automated Virtual Electronic Control Unit (ECU) Twins for Shift-Left Automotive Software Testing
von: Dingler, Sebastian, et al.
Veröffentlicht: (2026)

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis
von: Guo, Xiujing, et al.
Veröffentlicht: (2025)

Automated Penetration Testing: Formalization and Realization
von: Skandylas, Charilaos, et al.
Veröffentlicht: (2024)