Results 311 to 320 of about 970,866 (376)
LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks [PDF]
Ruoxi Wang +7 more
openalex
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Path explosion and constraint solving are two challenges to symbolic execution's scalability. Symbolic execution explores the program's path space with a searching strategy and invokes the underlying constraint solver in a black-box manner to check the feasibility of a path. Inside the constraint solver, another searching procedure is employed to prove
Yufeng Zhang +5 more
openaire +2 more sources
Path explosion and constraint solving are two challenges to symbolic execution's scalability. Symbolic execution explores the program's path space with a searching strategy and invokes the underlying constraint solver in a black-box manner to check the feasibility of a path. Inside the constraint solver, another searching procedure is employed to prove
Yufeng Zhang +5 more
openaire +2 more sources
Processor Verification using Symbolic Execution: A RISC-V Case-Study
Design, Automation and Test in Europe, 2023We propose to leverage state-of-the-art symbolic execution techniques from the Software (SW) domain for processor verification at the Register-Transfer Level (RTL).
Niklas Bruns, V. Herdt, R. Drechsler
semanticscholar +1 more source
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
Formal Methods in Computer-Aided Design, 2023Symbolic execution is a powerful verification tool for hardware designs, in particular for security validation. However, symbolic execution suffers from the path explosion problem in which the number of paths to explore grows exponentially with the ...
Kaki Ryan, C. Sturton
semanticscholar +1 more source
Compiling Parallel Symbolic Execution with Continuations
International Conference on Software Engineering, 2023Symbolic execution is a powerful program analysis and testing technique. Symbolic execution engines are usually implemented as interpreters, and the induced interpretation over-head can dramatically inhibit performance.
Guannan Wei +6 more
semanticscholar +1 more source
Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution
International Symposium on Software Testing and Analysis, 2022Symbolic detection has been widely used to detect vulnerabilities in smart contracts. Unfortunately, as reported, existing symbolic tools cost too much time, since they need to execute all paths to detect vulnerabilities.
Peilin Zheng, Zibin Zheng, Xiapu Luo
semanticscholar +1 more source
Learning to Explore Paths for Symbolic Execution
Conference on Computer and Communications Security, 2021Symbolic execution is a powerful technique that can generate tests steering program execution into desired paths. However, the scalability of symbolic execution is often limited by path explosion, i.e., the number of symbolic states representing the ...
Jingxuan He +3 more
semanticscholar +1 more source
Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms
Asia-Pacific Computer Systems Architecture Conference, 2021Existing symbolic execution typically assumes the analyzer can control the I/O environment and/or access the library code, which, however, is not the case when programs run on a remote proprietary execution environment managed by another party.
Lannan Luo +4 more
semanticscholar +1 more source
WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection
International Conference on Software Quality, Reliability and Security, 2021Many popular blockchain platforms support smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have demonstrated to lead to serious financial loss to their end users.
Bo Jiang +4 more
semanticscholar +1 more source