Neelesh Bhattacharya, Abdelilah Sakti, Giuliano Antoniol, Yann-Gaël Guéhéneuc, Gilles Pesant. Divide-by-Zero Exception Raising via Branch Coverage. In Myra B. Cohen, Mel Ó Cinnéide, editors, Search Based Software Engineering - Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. Volume 6956 of Lecture Notes in Computer Science, pages 204-218, Springer, 2011. [doi]
Abstract is missing.