Results 281 to 289 of about 211,276 (289)

Symbolic execution and program testing

Communications of the ACM, 1976
exaly  

Higher-order symbolic execution via contracts

ACM SIGPLAN Notices, 2012
Sam Tobin-Hochstadt, David Van Horn
exaly  

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

Computers and Security, 2018
Ryan Kastner
exaly  

JaVerT 2.0: compositional symbolic execution for JavaScript

2019
Jose Fragoso Santos, Petar Maksimovic
exaly  

Profiling Symbolic Execution

2019
openaire   +1 more source

Lazy symbolic execution for test data generation

IET Software, 2011
exaly  

Efficient state merging in symbolic execution

ACM SIGPLAN Notices, 2012
exaly  

Symbolic Execution: The Basics

2020
openaire   +1 more source

Symbolic execution of LOTOS specifications

1991
Eertink, E.H., Wolz, D.
openaire   +2 more sources