Animation can show only the presence of errors, never their absence | IEEE Conference Publication | IEEE Xplore