2003

Code verification by tree reconstruction

von Roy, Oberhauser

also known as "Code verification by syntax tree reconstruction". US6594783, EP1079303A3, JP2001084148AA. Inventors: Christopher Dollin, Steven Leach, Roy Oberhauser, Laura Dickey

Link