Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.

Alex Groce Rajeev Joshi Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. 131-144 2008 10 STTT 2 http://dx.doi.org/10.1007/s10009-007-0058-6 db/journals/sttt/sttt10.html#GroceJ08