Copertina

Scaling Symbolic Execution to Large Software Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Horvath, Gabor, Kovacs, Reka, Porkolab, Zoltan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Implementing and Executing Static Analysis Using LLVM and CodeChecker
di: Horvath, Gabor, et al.
Pubblicazione: (2024)

Detecting lifetime errors of std::string_view objects in C++
di: Kovacs, Reka, et al.
Pubblicazione: (2024)

Static Code Analysis with CodeChecker
di: Horvath, Gabor, et al.
Pubblicazione: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
di: Fang, Yuzhou, et al.
Pubblicazione: (2025)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
di: Wang, Wenhan, et al.
Pubblicazione: (2025)

Open Source Prover in the Attic
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
di: Brablec, Tomáš, et al.
Pubblicazione: (2026)

Software Space Analytics: Towards Visualization and Statistics of Internal Software Execution
di: Saito, Shinobu
Pubblicazione: (2026)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
di: Yang, Fanpeng, et al.
Pubblicazione: (2025)

Enhanced Bug Prediction in JavaScript Programs with Hybrid Call-Graph Based Invocation Metrics
di: Antal, Gábor, et al.
Pubblicazione: (2024)

A Large-Scale Study on Developer Engagement and Expertise in Configurable Software System Projects
di: Milano, Karolina M., et al.
Pubblicazione: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
di: Wang, Lianjing, et al.
Pubblicazione: (2026)

A Symbolic Computing Perspective on Software Systems
di: Norman, Arthur C., et al.
Pubblicazione: (2024)

Detecting Anomalies in Software Execution Logs with Siamese Network
di: Hashemi, Shayan, et al.
Pubblicazione: (2021)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
di: Feng, Rong, et al.
Pubblicazione: (2025)

CodePori: Large-Scale System for Autonomous Software Development Using Multi-Agent Technology
di: Rasheed, Zeeshan, et al.
Pubblicazione: (2024)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
di: Yang, Shuo, et al.
Pubblicazione: (2024)

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
di: Feng, Rong, et al.
Pubblicazione: (2025)

Refactoring to Standard C++20 Modules
di: Richárd Szalay, et al.
Pubblicazione: (2024)

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

Multi-Pass Targeted Dynamic Symbolic Execution
di: Yavuz, Tuba
Pubblicazione: (2024)

Executable Multi-Layered Software
di: Radosky, Lukas, et al.
Pubblicazione: (2025)

Identifying Critical Dependencies in Large-Scale Continuous Software Engineering
di: Tkalich, Anastasiia, et al.
Pubblicazione: (2025)

Static JavaScript Call Graphs: A Comparative Study
di: Antal, Gábor, et al.
Pubblicazione: (2024)

A Learning Method for Symbolic Systems Using Large Language Models
di: Fang, Jian, et al.
Pubblicazione: (2026)

Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
di: Molamphy, David
Pubblicazione: (2025)

Towards a Taxonomy for Autonomy in Large-Scale Agile Software Development
di: Lassenius, Casper, et al.
Pubblicazione: (2025)

EVOSCAT: Exploring Software Change Dynamics in Large-Scale Historical Datasets
di: Serbout, Souhaila, et al.
Pubblicazione: (2025)

Python Symbolic Execution with LLM-powered Code Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
di: Chen, Jiachi, et al.
Pubblicazione: (2025)

Governing the Commons: Code Ownership and Code-Clones in Large-Scale Software Development
di: Sundelin, Anders, et al.
Pubblicazione: (2024)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
di: Cloosters, Tobias, et al.
Pubblicazione: (2026)

Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
di: Sakharova, Marina, et al.
Pubblicazione: (2025)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
di: Shafiuzzaman, Md, et al.
Pubblicazione: (2026)

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
di: Ran, Dezhi, et al.
Pubblicazione: (2025)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
di: Abdullin, Azat, et al.
Pubblicazione: (2025)

VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses
di: Nong, Yu, et al.
Pubblicazione: (2023)

Characterizing Bugs and Quality Attributes in Quantum Software: A Large-Scale Empirical Study
di: Yousuf, Mir Mohammad, et al.
Pubblicazione: (2025)

SWE-Hub: A Unified Production System for Scalable, Executable Software Engineering Tasks
di: Zeng, Yucheng, et al.
Pubblicazione: (2026)

The Dynamics of Innovation in Open Source Software Ecosystems
di: Mészáros, Gábor, et al.
Pubblicazione: (2024)