Formal Bug Hunting with “River Fishing” Techniques

Author(s):
Mark Eslinger and Ping Yeung
Download