Nguyen Thanh Binh Michel Delaunay Chantal Robach Testing Criteria for Data Flow Software. 332-339 2003 conf/apsec/2003 APSEC http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110332abs.htm db/conf/apsec/apsec2003.html#BinhDR03