
State of the art: Dynamic symbolic execution for automated test generation
Chen, Ting, Zhang, Xiao-song, Guo, Shi-ze, Li, Hong-yuan, Wu, YueVolume:
29
Langue:
english
Journal:
Future Generation Computer Systems
DOI:
10.1016/j.future.2012.02.006
Date:
September, 2013
Fichier:
PDF, 1021 KB
english, 2013