Results 311 to 320 of about 842,701 (337)
Some of the next articles are maybe not open access.
SolSEE: a source-level symbolic execution engine for solidity
ESEC/SIGSOFT FSE, 2022Shang-Wei Lin +3 more
semanticscholar +1 more source
Specification extraction by symbolic execution
2013 20th Working Conference on Reverse Engineering (WCRE), 2013Technical software systems contain extensive and complex computations that are frequently implemented in an optimized and unstructured way. Computations are, therefore, hard to comprehend from source code. If no other documentation exists, it is a tedious endeavor to understand which input data impact on a particular computation and how a program does ...
openaire +1 more source
Killing Stubborn Mutants with Symbolic Execution
ACM Transactions on Software Engineering and Methodology, 2021Thierry Titcheu Chekam +2 more
exaly
Selective Symbolization Based Efficient Symbolic Execution
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021Yang Liu +3 more
openaire +1 more source
Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
Automatic Control and Computer Sciences, 2022T D Ovasapyan +2 more
exaly
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
IEEE Transactions on Dependable and Secure Computing, 2020Hui Xu, Yangfan Zhou, Michael R Lyu
exaly
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
IEEE Transactions on Software Engineering, 2022Sooyoung Cha, Jiseong Bak, Hakjoo Oh
exaly