Cover Image

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alshmrany, Kaled M., Aldughaim, Mohannad, Bhayat, Ahmed, Cordeiro, Lucas C.
Format:	Preprint
Published:	2022
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
by: Alshmrany, Kaled M., et al.
Published: (2024)

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
by: Menezes, Rafael Sá, et al.
Published: (2024)

Low-code and no-code with BESSER to create and deploy smart web applications
by: Alfonso, Iván, et al.
Published: (2026)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing
by: Blackwell, Daniel, et al.
Published: (2024)

DepsRAG: Towards Agentic Reasoning and Planning for Software Dependency Management
by: Alhanahnah, Mohannad, et al.
Published: (2024)

The Cure is in the Cause: A Filesystem for Container Debloating
by: Zhang, Huaifeng, et al.
Published: (2023)

SoK: Software Debloating Landscape and Future Directions
by: Alhanahnah, Mohannad, et al.
Published: (2024)

DaiFu: In-Situ Crash Recovery for Deep Learning Systems
by: He, Zilong, et al.
Published: (2025)

An empirical analysis of vulnerability detection tools for solidity smart contracts
by: Salzano, Francesco, et al.
Published: (2025)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

Efficacy of static analysis tools for software defect detection on open-source projects
by: Yeboah, Jones, et al.
Published: (2024)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
by: Alhanahnah, Mohannad, et al.
Published: (2024)

HITS: High-coverage LLM-based Unit Test Generation via Method Slicing
by: Wang, Zejun, et al.
Published: (2024)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

A formal definition of loop unrolling with applications to test coverage
by: Meyer, Bertrand
Published: (2024)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

SLA-Awareness for AI-assisted coding
by: Thangarajah, Kishanthan, et al.
Published: (2025)

Machine Learning Systems are Bloated and Vulnerable
by: Zhang, Huaifeng, et al.
Published: (2022)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
by: Wu, Tong, et al.
Published: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
by: Dantas, Pierre, et al.
Published: (2026)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

DIP-AI: A Discovery Framework for AI Innovation Projects
by: Martins, Mariana Crisostomo, et al.
Published: (2025)

Twinning automata and regular expressions for string static analysis
by: Negrini, Luca, et al.
Published: (2020)

An Empirical Study on the Code Refactoring Capability of Large Language Models
by: Cordeiro, Jonathan, et al.
Published: (2024)

From Bias To Improved Prompts: A Case Study of Bias Mitigation of Clone Detection Models
by: Chen, QiHong, et al.
Published: (2025)

Seismology modeling agent: A smart assistant for geophysical researchers
by: Ren, Yukun, et al.
Published: (2025)

CoHalLo: code hallucination localization via probing hidden layer vector
by: Jia, Nan, et al.
Published: (2025)

stable-pretraining-v1: Foundation Model Research Made Simple
by: Balestriero, Randall, et al.
Published: (2025)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
by: Bouafif, Mohamed Salah, et al.
Published: (2024)

Using Ensemble Inference to Improve Recall of Clone Detection
by: Ahmed, Gul Aftab, et al.
Published: (2024)

ExploraCoder: Advancing code generation for multiple unseen APIs via planning and chained exploration
by: Wang, Yunkun, et al.
Published: (2024)

Uncertainty Modeling for SysML v2
by: Zhang, Man, et al.
Published: (2026)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2025)

BACFuzz: Exposing the Silence on Broken Access Control Vulnerabilities in Web Applications
by: Dharmaadi, I Putu Arya, et al.
Published: (2025)

ConceptCoder: Improve Code Reasoning via Concept Learning
by: Rahman, Md Mahbubur, et al.
Published: (2026)

MuSe: a Mutation Testing Plugin for the Remix IDE
by: Iuliano, Gerardo, et al.
Published: (2026)

Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
by: Simoes, Igor Regis da Silva, et al.
Published: (2025)

Assessing and Improving the Representativeness of Code Generation Benchmarks Using Knowledge Units (KUs) of Programming Languages -- An Empirical Study
by: Ahasanuzzaman, Md, et al.
Published: (2026)

Improving Retrieval-Augmented Deep Assertion Generation via Joint Training
by: Zhang, Quanjun, et al.
Published: (2025)