State of the art: Dynamic symbolic execution for automated test generation

Published in: Future Generation Computer Systems

Volume 29, Issue 7, pp. 1758-1773

DOI: 10.1016/j.future.2012.02.006