Results 11 to 20 of about 211,276 (289)
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.
Guowei Yang +2 more
exaly +6 more sources
Relational Symbolic Execution [PDF]
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, 2019 Symbolic execution is a classical program analysis technique used to show that programs satisfy or violate given specifications. In this work we generalize symbolic execution to support program analysis for relational specifications in the form of ...
Banerjee Anindya +15 more
core +4 more sources
Memoized Symbolic Execution [PDF]
Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012 This paper introduces memoized symbolic execution (Memoise), a novel approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths.
Khurshid, Sarfraz +2 more
core +4 more sources
A survey of new trends in symbolic execution for software testing and analysis [PDF]
International Journal on Software Tools for Technology Transfer, 2009 Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values.
Willem Visser
exaly +3 more sources
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
Emanuele De Angelis +4 more
doaj +5 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
Dependence Guided Symbolic Execution
IEEE Transactions on Software Engineering, 2017 Symbolic execution is a powerful technique for systematically exploring the paths of a program and generating the corresponding test inputs. However, its practical usage is often limited by the path explosion problem, that is, the number of explored paths usually grows exponentially with the increase of program size.
Ting Liu, Chao Shen
exaly +2 more sources
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
Applied Sciences, 2022 Symbolic execution is well known as a dynamic vulnerability discovery technique. Its greatest advantage is the capability to analyze the execution information of the program and to explore the path in the program deterministically.
Xinglu He, Pengfei Wang, Kai Lu, Xu Zhou
doaj +1 more source
SENinja: A symbolic execution plugin for Binary Ninja
SoftwareX, 2022 Symbolic execution is a program analysis technique that aims to automatically identify interesting inputs for an application, using them to generate program executions covering different parts of the code.
Luca Borzacchiello +2 more
doaj +1 more source