Section outline
-
Discussion of Richard A. De Millo, Richard J. Lipton, and Alan J.Perlis, "Social processes and proofs of theorems and programs". Comm. ACM 22(5), pp. 271–280, May 1979.
You need to read this paper in advance and submit a short report about it the day before the meeting!
Student presentation:- [Kfir] Tihana Galinac Grbac, Per Runeson, and Darko Huljeni'c, A second replicated quantitative analysis of fault distributions in complex software systems. IEEE Trans. Softw. Eng. 39(4), pp. 462-476, Apr 2013.