Comments on "Formal methods application: an empirical tale of software development"
Daniel M. Berry, Walter F. Tichy · IEEE Transactions on Software Engineering · 2003
We comment on the experimental design and the result of the paper mentioned in the title. Our purpose is to show interested readers examples of what can go wrong with experiments in software research and how to avoid the attending problems.