Nguyet T. M. Nguyen Mary Lou Soffa Program representations for testing wireless sensor network applications. 20-26 2007 DOSTA http://doi.acm.org/10.1145/1294921.1294925 conf/sigsoft/2007dosta db/conf/sigsoft/dosta2007.html#NguyenS07