Program representations for testing wireless sensor network applications. - Nguyet T. M. Nguyen; Mary Lou Soffa (DOSTA, 2007)