Issue No. 06 - June (2003 vol. 29)
<p><b>Abstract</b>—We respond to criticism by D. Berry and W. Tichy of our paper that appeared in the March 2002 issue of <it>IEEE Transactions on Software Engineering</it>. Many of the supposed faults they identify in our experiment are a result of a misunderstanding on their part, while others are inherent aspects of an educational experiment. We present counterarguments that explain why our experiment is valid.</p>
M. R. Clarkson and A. E. Sobel, "Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"," in IEEE Transactions on Software Engineering, vol. 29, no. , pp. 572-575, 2003.