Results 11 to 20 of about 949,278 (287)
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 +5 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 relational properties - these are properties about two runs of two programs on related inputs, or about ...
Gian Pietro Farina +2 more
openaire +5 more sources
Chopped symbolic execution [PDF]
Proceedings of the 40th International Conference on Software Engineering, 2018 Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths. However, despite important technical advances, symbolic execution often struggles to reach deep parts of the code due to the well-known path explosion problem and constraint solving limitations.
David Trabish +3 more
openaire +3 more sources
Symbolic Execution Debugger (SED)
, 2014 We present the Symbolic Execution Debugger for sequential Java programs. Being based on symbolic execution, its functionality goes beyond that of traditional interactive debuggers. For instance, debugging can start directly at any method or statement and all program execution paths are explored simultaneously.
Martin Hentschel 0002 +2 more
openaire +2 more sources
Symbolic execution with mixed concrete-symbolic solving
Proceedings of the 2011 International Symposium on Software Testing and Analysis, 2011 Symbolic execution is a powerful static program analysis technique that has been used for the automated generation of test inputs. Directed Automated Random Testing (DART) is a dynamic variant of symbolic execution that initially uses random values to execute a program and collects symbolic path conditions during the execution.
Corina S. Pasareanu +2 more
openaire +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
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 +3 more sources
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
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact) [PDF]
, 2022 KDAlloc is a deterministic memory allocator for Dynamic Symbolic Execution. This artifact provides the allocator itself, integrated into the KLEE symbolic execution engine and the evaluation ...
Büning, Julian +4 more
core +1 more source
Compact Symbolic Execution [PDF]
, 2013 This is a full version of the paper accepted to ATVA ...
Jiri Slaby, Jan Strejcek, Marek Trtík
openaire +3 more sources