A Formalization of Heisenbugs and Their Causes.

Sarah Sallinger, Georg Weissenbacher, Florian Zuleger

Browse the full SEFM paper archive.