Results 331 to 340 of about 970,866 (376)

Postconditioned Symbolic Execution

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015
Symbolic execution is emerging as a powerful technique for generating test inputs systematically to achieve exhaustive path coverage of a bounded depth. However, its practical use is often limited by path explosion because the number of paths of a program can be exponential in the number of branch conditions encountered during the execution.
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao   +5 more
openaire   +1 more source

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

Exploiting Symbolic Execution to Accelerate Deterministic Databases

IEEE International Conference on Distributed Computing Systems, 2020
Deterministic databases (DDs) are a promising approach for replicating data across different replicas. A fundamental component of DDs is a deterministic concurrency control algorithm that, given a set of transactions in a specific order, guarantees that ...
S. Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, M. Matos, P. Romano   +5 more
semanticscholar   +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