Results 201 to 210 of about 1,018,291 (234)

EvoSE: evolutionary symbolic execution

Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, 2015
Search Based Software Testing (SBST) and Symbolic Execution (SE) have emerged as the most effective among the fully automated test input generation techniques. However, none of the two techniques satisfactorily solves the problem of generating test cases that exercise specific code elements, as it is required for example in security vulnerability ...
openaire   +1 more source

SolSEE: a source-level symbolic execution engine for solidity

ESEC/SIGSOFT FSE, 2022
Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li   +3 more
semanticscholar   +1 more source

Symbolic Execution with CEGAR

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, Thomas Lemberger
openaire   +1 more source

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

Symbolic router execution

Proceedings of the ACM SIGCOMM 2022 Conference, 2022
Peng Zhang, Dan Wang, Aaron Gember-Jacobson   +2 more
openaire   +1 more source

Symbolic execution and testing

Information and Software Technology, 1991
Abstract Symbolic execution has several applications mainly in the validation of software. It may be used in the generation of test data, in program proving, and in program reduction. The paper is a tutorial on symbolic execution and how it may be used in software testing and in particular the testing of commercial data-processing (DP) software.
openaire   +1 more source

Advances in Symbolic Execution

2019
Abstract Symbolic 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.
Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen   +4 more
openaire   +1 more source

A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part II: Applications, Cognitive Models, and Challenges

ACM Computing Surveys, 2023
Denis Kleyko, Dmitri A Rachkovskij, Evgeny Osipov   +2 more
exaly  

Exploring sustainable development goals reporting practices: From symbolic to substantive approaches—Evidence from the energy sector

Corporate Social Responsibility and Environmental Management, 2022
Francesca Manes-Rossi, Giuseppe Nicolo'
exaly  

Symbolic Execution

2013
Cristian Cadar, Koushik Sen
openaire   +1 more source