DMCA

Symbolic Execution for Software Testing in Practice – Preliminary Assessment

by Cristian Cadar , Koushik Sen , Patrice Godefroid , Nikolai Tillmann , Sarfraz Khurshid , Willem Visser , Corina S. Păsăreanu
Citations:39 - 6 self