Xiaoping Jia. Model-based formal specification directed testing of abstract data types. In Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993. pages 360-366, IEEE, 1993. [doi]
Abstract is missing.