Results 191 to 200 of about 1,018,291 (234)

All-values symbolic execution

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

Grammar-agnostic symbolic execution by token symbolization

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
Parsing code exists extensively in software. Symbolic execution of complex parsing programs is challenging. The inputs generated by the symbolic execution using the byte-level symbolization are usually rejected by the parsing program, which dooms the effectiveness and efficiency of symbolic execution.
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang   +5 more
openaire   +1 more source

Array representation in symbolic execution

Computer Languages, 1993
Abstract 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.
COEN PORISINI, ALBERTO, DE PAOLI F.
openaire   +2 more sources

Certified Symbolic Execution

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, Corina S. Păsăreanu, Sarfraz Khurshid   +2 more
openaire   +1 more source

Software specialization via symbolic execution

IEEE Transactions on Software Engineering, 1991
A technique and an environment-supporting specialization of generalized software components are described. The technique is based on symbolic execution. It allows one to transform a generalized software component into a more specific and more efficient component. Specialization is proposed as a technique that improves software reuse. The idea is that a
COEN A., DE PAOLI F., GHEZZI, CARLO, MANDRIOLI, DINO   +3 more
openaire   +4 more sources

Compact Symbolic Execution

2012
This is a full version of the paper accepted to ATVA ...
Slab��, Ji����, Strej��ek, Jan, Trt��k, Marek   +2 more
openaire   +1 more source

SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection

International Conference on Software Engineering, 2019
CPU 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, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo   +6 more
semanticscholar   +1 more source

ParSym: Parallel symbolic execution

2010 2nd International Conference on Software Technology and Engineering, 2010
Scaling software analysis techniques based on source-code, such as symbolic execution and data flow analyses, remains a challenging problem for systematically checking software systems. The increasing availability of clusters of commodity machines provides novel opportunities to scale these techniques using parallel algorithms.
Junaid Haroon Siddiqui, Sarfraz Khurshid
openaire   +1 more source

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. Păsăreanu, Neha Rungta, Willem Visser   +2 more
openaire   +1 more source

Visualizing Unbounded Symbolic Execution

2014
We 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, Reiner Hähnle, Richard Bubel   +2 more
openaire   +1 more source