Results 241 to 250 of about 6,185 (261)

Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution

Automatic Control and Computer Sciences, 2022
D A Moskvin, T D Ovasapyan, Ovasapyan T D   +2 more
exaly  

Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs

IEEE Transactions on Dependable and Secure Computing, 2020
Michael Lyu, Yangfan Zhou, Hui Xu
exaly  

A Survey of Symbolic Execution Techniques

ACM Computing Surveys, 2019
Roberto Baldoni, Camil Demetrescu, Irène Finocchi   +2 more
exaly  

Symbolic execution and program testing

Communications of the ACM, 1976
James C KING
exaly  

A survey of new trends in symbolic execution for software testing and analysis

International Journal on Software Tools for Technology Transfer, 2009
Willem Visser, Corina S Păsăreanu, Visser Willem   +2 more
exaly  

Directed Incremental Symbolic Execution

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

A generic framework for symbolic execution: A coinductive approach

Journal of Symbolic Computation, 2017
Dorel Lucanu, Andrei Arusoaie, Vlad Rusu   +2 more
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
Reiner Hähnle, Richard Bubel, Martin Hentschel   +2 more
exaly  

Steering symbolic execution to less traveled paths

ACM SIGPLAN Notices, 2013
Xuandong Li, Linzhang Wang, Zhendong Su   +2 more
exaly  

Complete Shadow Symbolic Execution with Java PathFinder

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2019
Timo Kehrer, Lars Grunske, Yannic Noller   +2 more
exaly