Amanote Research
Register
Sign In
On the Nature of Symbolic Execution
doi 10.1109/synasc49474.2019.00009
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2019
Authors
Frank S. de Boer
Marcello M. Bonsangue
Publisher
IEEE