Julian Seward Nicholas Nethercote Using Valgrind to Detect Undefined Value Errors with Bit-Precision. 17-30 2005 conf/usenix/2005g USENIX Annual Technical Conference, General Track http://www.usenix.org/events/usenix05/tech/general/seward.html db/conf/usenix/usenix2005g.html#SewardN05