Mark Hennessy, James F. Power. Ensuring behavioural equivalence in test-driven porting. In Hakan Erdogmus, Eleni Stroulia, Darlene A. Stewart, editors, Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, October 16-19, 2006, Toronto, Ontario, Canada. pages 377, IBM, 2006. [doi]
Abstract is missing.