Helga Velroyen, Philipp Rümmer. Non-termination Checking for Imperative Programs. In Bernhard Beckert, Reiner Hähnle, editors, Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Volume 4966 of Lecture Notes in Computer Science, pages 154-170, Springer, 2008. [doi]
Abstract is missing.