Results 281 to 287 of about 949,278 (287)

JaVerT 2.0: Compositional Symbolic Execution for JavaScript

2019
José Fragoso Santos, Petar Maksimović
exaly  

Symbolic Execution and Testing

Information and Software Technology, 1991
exaly  

Symbolic Execution Systems—A Review

Software Engineering Journal, 1988
exaly  

symbolic execution

2011
openaire   +1 more source

Symbolic execution of LOTOS specifications.

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

symbolic execution

2000
openaire   +1 more source

A Personal Retrospective on Symbolic Execution

IEEE Transactions on Software Engineering
openaire   +1 more source