Tim Miller, Paul A. Strooper. Animation Can Show Only the Presence of Errors, Never Their Absence. In 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia. pages 76-88, IEEE Computer Society, 2001. [doi]
Abstract is missing.