Abstract: This paper is an industrial experience report of applying the "Specification by Example" methodology and test-driven development to the development of a core component of a healthcare ...