Tim Miller, Paul A. Strooper. Combining the Animation and Testing of Abstract Data Types. In 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings. pages 249-258, IEEE Computer Society, 2001. [doi]
Abstract is missing.