Buchumschlag

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liyanage, Danushka, Attanayake, Nelum, Luo, Zijian, Gopinath, Rahul
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering 68N30 D.2.4; D.2.5; D.2.8
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
von: Bagnara, Roberto, et al.
Veröffentlicht: (2016)

Methods for evaluating software accessibility
von: Kuz, Mykola, et al.
Veröffentlicht: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

Validation of an analyzability model for quantum software: a family of experiments
von: Díaz-Muñoz, Ana, et al.
Veröffentlicht: (2026)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
von: Helbling, Caleb, et al.
Veröffentlicht: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
von: Helbling, Caleb, et al.
Veröffentlicht: (2025)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
von: Li, Meng, et al.
Veröffentlicht: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
von: Guo, Jinyao, et al.
Veröffentlicht: (2025)

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
von: Haseeb, Muhammad
Veröffentlicht: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
von: Yoon, Gangho, et al.
Veröffentlicht: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
von: López, Hugo A., et al.
Veröffentlicht: (2024)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
von: Le, Tuan D, et al.
Veröffentlicht: (2025)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
von: Paiva, Camila A., et al.
Veröffentlicht: (2026)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

DRS-OSS: Practical Diff Risk Scoring with LLMs
von: Sayedsalehi, Ali, et al.
Veröffentlicht: (2025)

Generative AI and the Transformation of Software Development Practices
von: Acharya, Vivek
Veröffentlicht: (2025)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
von: Lagermann, Timmie M. R., et al.
Veröffentlicht: (2025)

Resilient Microservices: A Systematic Review of Recovery Patterns, Strategies, and Evaluation Frameworks
von: Mohammad, Muzeeb
Veröffentlicht: (2025)

A semantic mutation metric for metamorphic relation adequacy in scientific computing programs
von: Li, Meng, et al.
Veröffentlicht: (2026)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
von: Han, Jipeng
Veröffentlicht: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
von: Hackett, Finn, et al.
Veröffentlicht: (2026)

InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment
von: Delgado-Pérez, Pedro, et al.
Veröffentlicht: (2024)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
von: Saberi, Iman, et al.
Veröffentlicht: (2023)

Contribution Rate Imputation Theory: A Conceptual Model
von: Bishop III, Vincil, et al.
Veröffentlicht: (2024)

Evaluating Software Contribution Quality: Time-to-Modification Theory
von: Bishop III, Vincil, et al.
Veröffentlicht: (2024)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
von: Radosky, Lukas, et al.
Veröffentlicht: (2026)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
von: Saberi, Iman, et al.
Veröffentlicht: (2023)

Evaluating the Overhead of the Performance Profiler Cloudprofiler With MooBench
von: Yang, Shinhyung, et al.
Veröffentlicht: (2024)

AI for software engineering: from probable to provable
von: Meyer, Bertrand
Veröffentlicht: (2025)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
von: Alonso, Pepe, et al.
Veröffentlicht: (2026)

Model Contribution Rate Theory: An Empirical Examination
von: Bishop, Vincil, et al.
Veröffentlicht: (2024)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
von: Bouzinier, Michael, et al.
Veröffentlicht: (2026)

Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications
von: Mughal, Ali Hassaan, et al.
Veröffentlicht: (2026)

Stabilization Without Simplification: A Two-Dimensional Model of Software Evolution
von: Furukawa, Masaru
Veröffentlicht: (2026)

From Monolith to Microservices: A Comparative Evaluation of Decomposition Frameworks
von: Weerasinghe, Mineth, et al.
Veröffentlicht: (2026)

Tool-Assisted Conformance Checking to Reference Process Models
von: Rumpe, Bernhard, et al.
Veröffentlicht: (2025)

GitHub Copilot and Developer Productivity: An Observational Dose-Response Analysis
von: Heilman, Alex, et al.
Veröffentlicht: (2026)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
von: Yu, Boxi, et al.
Veröffentlicht: (2026)