Divide-by-Zero Exception Raising via Branch Coverage.

Neelesh Bhattacharya, Abdelilah Sakti, Giuliano Antoniol, Yann-Gal Guhneuc, Gilles Pesant

Browse the full SSBSE paper archive.