Generalized Symbolic Execution for Model Checking and Testing (2003)

by Sarfraz Khurshid , Corina S. Pasareanu , Willem Visser
Citations:176 - 42 self