Results 321 to 330 of about 842,701 (337)

Directed Incremental Symbolic Execution

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

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

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

Steering symbolic execution to less traveled paths

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

A generic framework for symbolic execution: A coinductive approach

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

Lazy symbolic execution for test data generation

IET Software, 2011
Y L Chen
exaly  

Compiling symbolic execution with staging and algebraic effects

2020
Guannan Wei, Oliver Bračevac, Rompftiark   +2 more
exaly  

Higher-order symbolic execution via contracts

ACM SIGPLAN Notices, 2012
Sam Tobin-Hochstadt, Tobin-Hochstadtsam
exaly  

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

Computers and Security, 2018
Dejun Mu, Guo Cao, Ryan Kästner
exaly  

JaVerT 2.0: compositional symbolic execution for JavaScript

2019
JOSÉ Fragoso Santos, Petar Maksimovic
exaly