M. Collard, M. Decker, and J. Maletic. 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011, page 173--184. IEEE Computer Society, (2011)
I. Mizuuchi, M. Inaba, and H. Inoue. Intelligent Robots and Systems, 2001. Proceedings. 2001 IEEE/RSJ International Conference on, 4, page 2099--2104. IEEE, (2001)
A. Ferrari, M. Itria, S. Chiaradonna, and G. Spagnolo. Software Engineering for Resilient Systems, volume 7527 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)
R. Fagin, J. Halpern, and N. Megiddo. Information and Computation, 87 (1–2):
78 - 128(1990)Special Issue: Selections from 1988 \IEEE\ Symposium on Logic in Computer Science.
W. Böhm, M. Junker, A. Vogelsang, S. Teufl, R. Pinger, and K. Rahn. Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, page 34--41. New York, NY, USA, ACM, (2014)