Cover Image

ESBMC-Python: A Bounded Model Checker for Python Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Farias, Bruno, Menezes, Rafael, Filho, Eddie B. de Lima, Sun, Youcheng, Cordeiro, Lucas C.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

An Empirical Study of Fault Localization in Python Programs
by: Rezaalipour, Mohammad, et al.
Published: (2023)

Type-aware LLM-based Regression Test Generation for Python Programs
by: Liu, Runlin, et al.
Published: (2025)

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
by: Dantas, PIerre, et al.
Published: (2025)

Better Python Programming for all: With the focus on Maintainability
by: Shivashankar, Karthik, et al.
Published: (2024)

Characterizing Python Library Migrations
by: Islam, Mohayeminul, et al.
Published: (2022)

HQPEF-Py: Metrics, Python Patterns, and Guidance for Evaluating Hybrid Quantum Programs
by: Osei, Michael Adjei, et al.
Published: (2025)

GUPPY: Pythonic Quantum-Classical Programming
by: Koch, Mark, et al.
Published: (2025)

Hints Help Finding and Fixing Bugs Differently in Python and Text-based Program Representations
by: Rawal, Ruchit, et al.
Published: (2024)

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
by: Wang, Chong, et al.
Published: (2024)

Quality Assessment of Python Tests Generated by Large Language Models
by: Alves, Victor, et al.
Published: (2025)

EZInput: A Cross-Environment Python Library for Easy UI Generation in Scientific Computing
by: Saraiva, Bruno M., et al.
Published: (2026)

BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies
by: Widyasari, Ratnadira, et al.
Published: (2024)

evomap: A Toolbox for Dynamic Mapping in Python
by: Matthe, Maximilian
Published: (2025)

FauxPy: A Fault Localization Tool for Python
by: Rezaalipour, Mohammad, et al.
Published: (2024)

OWLAPY: A Pythonic Framework for OWL Ontology Engineering
by: Baci, Alkid, et al.
Published: (2025)

A Taxonomy of Inefficiencies in LLM-Generated Python Code
by: Abbassi, Altaf Allah, et al.
Published: (2025)

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

Hybrid Fault-Driven Mutation Testing for Python
by: Alimadadi, Saba, et al.
Published: (2026)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
by: Orvalho, Pedro, et al.
Published: (2025)

An Empirical Study of Python Library Migration Using Large Language Models
by: Islam, Md Mohayeminul, et al.
Published: (2025)

DyPyBench: A Benchmark of Executable Python Software
by: Bouzenia, Islem, et al.
Published: (2024)

Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
by: Berg, Lucas, et al.
Published: (2026)

CoqPyt: Proof Navigation in Python in the Era of LLMs
by: Carrott, Pedro, et al.
Published: (2024)

PyTy: Repairing Static Type Errors in Python
by: Chow, Yiu Wai, et al.
Published: (2024)

An Empirical Study on Package-Level Deprecation in Python Ecosystem
by: Zhong, Zhiqing, et al.
Published: (2024)

B-OCL: An Object Constraint Language Interpreter in Python
by: Haq, Fitash Ul, et al.
Published: (2025)

Bugs in the Shadows: Static Detection of Faulty Python Refactorings
by: Oliveira, Jonhnanthan, et al.
Published: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)

Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
by: Sun, Shuo, et al.
Published: (2025)

huff: A Python package for Market Area Analysis
by: Wieland, Thomas
Published: (2026)

PyTrim: A Practical Tool for Reducing Python Dependency Bloat
by: Karakatsanis, Konstantinos, et al.
Published: (2025)

Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models
by: Zhang, Zejun, et al.
Published: (2024)

PCART: Automated Repair of Python API Parameter Compatibility Issues
by: Zhang, Shuai, et al.
Published: (2024)

Combining Type Inference and Automated Unit Test Generation for Python
by: Krodinger, Lukas, et al.
Published: (2025)

Scalable and Precise Application-Centered Call Graph Construction for Python
by: Huang, Kaifeng, et al.
Published: (2023)