Results 1 to 10 of about 6,086 (163)
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.
Camil Demetrescu +2 more
exaly +3 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 ...
Sarfraz Khurshid +2 more
exaly +5 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
On the Nature of Symbolic Execution [PDF]
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019 In the symbolic execution of a program real values are replaced by so-called symbolic values. Consequently, programming expressions cannot be evaluated, and thus the state, i.e., the assignment of values to program variables, in a symbolic execution is replaced by a substitution which assigns to each program variable an expression. The goal of symbolic
F.S. de Boer (Frank) +1 more
openaire +1 more source
Mutation‐inspired symbolic execution for software testing
IET Software, 2022 Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generation, Dynamic Symbolic Execution (DSE)
Kevin J. Valle‐Gómez +3 more
doaj +1 more source
Speculative Symbolic Execution [PDF]
2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012 14 pages, 15 ...
Yufeng Zhang 0001 +2 more
openaire +2 more sources
Metrics for code obfuscation based on symbolic execution and N-scope complexity
网络与信息安全学报, 2022 Code obfuscation has been well developed as mitigated endogenous security technology, to effectively resist MATE attacks (e.g.reverse engineering).And it also has important value for the reasonable metrics of code obfuscation effect.Since symbolic ...
Yuqiang XIAO, Yunfei GUO, Yawen WANG
doaj +3 more sources
CSEFuzz: Fuzz Testing Based on Symbolic Execution
IEEE Access, 2020 Fuzz testing has been successful in finding defects of various software packages. These defects include file parsing, image processing, Internet browsers, and network protocols.
Zhangwei Xie +4 more
doaj +1 more source
Memoized symbolic execution [PDF]
Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012 This paper introduces memoized symbolic execution (Memoise), a new 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.
Guowei Yang 0001 +2 more
openaire +2 more sources