Cadar, C. and Sen, K. (2013) Symbolic Execution for Software Testing: Three Decades Later. Communications of the ACM, 56, 82-90. http://dx.doi.org/10.1145/2408776.2408795
has been cited by the following article:
Related Articles: