DMCA

Generalized Symbolic Execution for Model Checking and Testing (2003)

by Sarfraz Khurshid , Corina S. Pasareanu , Willem Visser
Citations:229 - 52 self