Harri Hakonen, Sami Hyrynsalmi, Antero Järvi. Reducing the number of unit tests with design by contract. In Boris Rachev, Angel Smrikarov, editors, Proceedings of the 12th International Conference on Computer Systems and Technologies, CompSysTech 2011, Vienna, Austria, June 16-17, 2011. pages 161-166, ACM, 2011. [doi]
Abstract is missing.