Michele Sama Franco Raimondi David S. Rosenblum Wolfgang Emmerich Algorithms for efficient symbolic detection of faults in context-aware applications. 1-8 2008 ASE Workshops http://dx.doi.org/10.1109/ASEW.2008.4686287 conf/kbse/2008w db/conf/kbse/asew2008.html#SamaRRE08