W. Chan, R. Anderson, P. Beame, and D. Notkin. ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, 23, page 102--112. New York, NY, USA, ACM Press, (March 1998)
I. Suarez, A. Jahn, C. Anderson, and K. David. Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, page 1011-1015. Osaka, Japan, ACM, (September 2015)