Results 301 to 310 of about 842,701 (337)
Some of the next articles are maybe not open access.
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Conference on Computer and Communications Security, 2019Fuzzing and symbolic execution are two complementary techniques for discovering software vulnerabilities. Fuzzing is fast and scalable, but can be ineffective when it fails to randomly select the right inputs.
Jingxuan He +4 more
semanticscholar +1 more source
2016
We propose a certification approach for checking the analysis results produced by symbolic execution. Given a program P under test, an analysis producer performs symbolic execution on P and creates a certificate C that represents the results of symbolic execution. The analysis consumer checks the validity of C with respect to P using efficient symbolic
Rui Qiu +2 more
openaire +1 more source
We propose a certification approach for checking the analysis results produced by symbolic execution. Given a program P under test, an analysis producer performs symbolic execution on P and creates a certificate C that represents the results of symbolic execution. The analysis consumer checks the validity of C with respect to P using efficient symbolic
Rui Qiu +2 more
openaire +1 more source
2016
Symbolic execution, a standard technique in program analysis, is a particularly successful and popular component in systems for test-case generation. One of the open research problems is that the approach suffers from the path-explosion problem. We apply abstraction to symbolic execution, and refine the abstract model using counterexample-guided ...
Dirk Beyer 0001, Thomas Lemberger 0002
openaire +1 more source
Symbolic execution, a standard technique in program analysis, is a particularly successful and popular component in systems for test-case generation. One of the open research problems is that the approach suffers from the path-explosion problem. We apply abstraction to symbolic execution, and refine the abstract model using counterexample-guided ...
Dirk Beyer 0001, Thomas Lemberger 0002
openaire +1 more source
Advances in Symbolic Execution
2019Symbolic execution is a systematic technique for checking programs, which forms a basis for various software testing and verification techniques. It provides a powerful analysis in principle but remains challenging to scale and generalize symbolic execution in practice.
Yang, Guowei +4 more
openaire +2 more sources
Augmented dynamic symbolic execution
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012Dynamic symbolic execution (DSE) can efficiently explore all simple paths through a program, reliably determining whether there are any program crashes or violations of assertions or code contracts. However, if such automated oracles do not exist, the traditional approach is to present the developer a small and representative set of tests in order to ...
Konrad Jamrozik +3 more
openaire +1 more source
Array representation in symbolic execution
Computer Languages, 1993Abstract Symbolic execution is a well known and powerful technique that allows to perform several activities as program testing, program formal verification, program specialization, etc. However, symbolic execution suffers from some problems which disable it to become a wide used technique.
Alberto Coen-Porisini, Flavio De Paoli
openaire +2 more sources
SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection
International Conference on Software Engineering, 2019CPU cache is a limited but crucial storage component in modern processors, whereas the cache timing side-channel may inadvertently leak information through the physically measurable timing variance.
Shengjian Guo +6 more
semanticscholar +1 more source
2012 7th International Workshop on Automation of Software Test (AST), 2012
This paper discusses and exemplifies our ideas on all-values symbolic execution, an alternative strategy to the traditional all-paths style of symbolic execution. All-values symbolic execution focuses on enumerating the (symbolic) values that may derive from the symbolic execution of program statements.
openaire +1 more source
This paper discusses and exemplifies our ideas on all-values symbolic execution, an alternative strategy to the traditional all-paths style of symbolic execution. All-values symbolic execution focuses on enumerating the (symbolic) values that may derive from the symbolic execution of program statements.
openaire +1 more source
Dynamic symbolic execution for polymorphism
Proceedings of the 26th International Conference on Compiler Construction, 2017Symbolic execution is an important program analysis technique that provides auxiliary execution semantics to execute programs with symbolic rather than concrete values. There has been much recent interest in symbolic execution for automatic test case generation and security vulnerability detection, resulting in various tools being deployed in academia ...
Li, Lian, Lu, Yi, Xue, Jingling
openaire +3 more sources
Visualizing Unbounded Symbolic Execution
2014We present an approach for representing and visualizing all possible symbolic execution paths of a program. This is achieved by integrating method contracts and loop invariants into a symbolic execution engine and rendering them visually in a suitable manner.
Martin Hentschel 0002 +2 more
openaire +1 more source