Symbolic execution with abstractionOpen Website

Saswat Anand, Corina S. Pasareanu, Willem Visser

2009 (modified: 24 Apr 2023)Int. J. Softw. Tools Technol. Transf. 2009Readers: Everyone
0 Replies