Results 271 to 280 of about 211,276 (289)

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics

IEEE Transactions on Software Engineering, 2022
Sooyoung Cha, Seongjoon Hong, Jiseong Bak   +2 more
exaly  

A Survey of Symbolic Execution Techniques

ACM Computing Surveys, 2019
Roberto Baldoni, Emilio Coppa, Camil Demetrescu   +2 more
exaly  

symbolic execution

2011
openaire   +1 more source

Directed Incremental Symbolic Execution

ACM Transactions on Software Engineering and Methodology, 2014
Guowei Yang, Neha Rungta, Sarfraz Khurshid   +2 more
exaly  

symbolic execution

2000
openaire   +1 more source

Steering symbolic execution to less traveled paths

ACM SIGPLAN Notices, 2013
Zhendong Su, Linzhang Wang
exaly  

Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution

Automatic Control and Computer Sciences, 2022
exaly  

A generic framework for symbolic execution: A coinductive approach

Journal of Symbolic Computation, 2017
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie
exaly  

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more

International Journal on Software Tools for Technology Transfer, 2018
Richard Bubel, Reiner Hähnle
exaly  

Compiling symbolic execution with staging and algebraic effects

2020
Guannan Wei, Oliver Bracevac
exaly