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)
A. Garro, and A. Tundis. Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, page 2:1--2:8. San Diego, CA, USA, Society for Computer Simulation International, (2012)