Per Madsen. Unit Testing Using Design by Contract and Equivalence Partitions. In Michele Marchesi, Giancarlo Succi, editors, Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings. Volume 2675 of Lecture Notes in Computer Science, pages 425-426, Springer, 2003. [doi]
Abstract is missing.