David Coppit, Jennifer M. Haddox-Schatz. On the Use of Specification-Based Assertions as Test Oracles. In 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA. pages 305-314, IEEE Computer Society, 2005. [doi]
Abstract is missing.