Results 251 to 260 of about 6,185 (261)

Efficient state merging in symbolic execution

ACM SIGPLAN Notices, 2012
Stefan Bucur
exaly  

Symbolic execution systems—a review

Software Engineering Journal, 1988
exaly  

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

Computers and Security, 2018
Ryan Kästner
exaly  

JaVerT 2.0: compositional symbolic execution for JavaScript

2019
JOSÉ Fragoso Santos, Petar Maksimovic
exaly  

Symbolic execution and testing

Information and Software Technology, 1991
exaly  

Lazy symbolic execution for test data generation

IET Software, 2011
exaly  

Symbolic types for lenient symbolic execution

2018
Stephen Chang, Emina Torlak
exaly  

symbolic execution

2011
openaire   +1 more source

symbolic execution

2000
openaire   +1 more source

Symbolic execution of LOTOS specifications.

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