Results 1 to 10 of about 842,701 (337)
Symbolic execution for randomized programs [PDF]
Proceedings of the ACM on Programming Languages, 2022 We propose a symbolic execution method for programs that can draw random samples. In contrast to existing work, our method can verify randomized programs with unknown inputs and can prove probabilistic properties that universally quantify over all ...
Zachary J. Susag +3 more
semanticscholar +4 more sources
Directed incremental symbolic execution [PDF]
ACM SIGPLAN Notices, 2011 The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and ...
Suzette Person +2 more
exaly +7 more sources
A Survey of Symbolic Execution Techniques [PDF]
ACM Computing Surveys, 2016 Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any ...
R. Baldoni +4 more
semanticscholar +4 more sources
Symbolic execution and program testing
Communications of the ACM, 1976 James C KING
exaly +2 more sources
LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification [PDF]
SensorsThe rapid expansion of the Internet of Things (IoT) has made software security and reliability a critical concern. With multi-language programs running on edge computing, embedded systems, and sensors, each connected device represents a potential attack ...
Liangjun Deng +4 more
doaj +2 more sources
CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution [PDF]
European Conference on Artificial Intelligence, 2023 In this paper, we present an LLM-based code translation method and an associated tool called CoTran, that translates whole-programs from one high-level programming language to another.
Prithwish Jana +5 more
semanticscholar +1 more source
Symbolic Execution for Quantum Error Correction Programs [PDF]
Proc. ACM Program. Lang., 2023 We define QSE, a symbolic execution framework for quantum programs by integrating symbolic variables into quantum states and the outcomes of quantum measurements.
Wang Fang, Mingsheng Ying
semanticscholar +1 more source
Sound Gradual Verification with Symbolic Execution [PDF]
Proc. ACM Program. Lang., 2023 Gradual verification, which supports explicitly partial specifications and verifies them with a combination of static and dynamic checks, makes verification more incremental and provides earlier feedback to developers.
Conrad Zimmerman +2 more
semanticscholar +1 more source
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution [PDF]
Journal of Systems and Software, 2022 Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testing requirements mandated by the certification standards, while controlling
Elson Kurian +3 more
semanticscholar +1 more source
Quantum Information Processing, 2023 With advances in quantum computing, researchers can now write and run many quantum programs. However, there is still a lack of effective methods for debugging quantum programs. In this paper, quantum symbolic execution (QSE) is proposed to generate test cases, which helps to finding bugs in quantum programs.
Jiang Nan, Wang Zichen, Wang Jian
openaire +2 more sources