Patrice Godefroid. May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. In Orna Grumberg, Helmut Seidl, Maximilian Irlbeck, editors, Software Systems Safety. Volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 1-16, IOS Press, 2014. [doi]
Abstract is missing.