@inproceedings{inproceedings1f22351f,
title   = {Exercising Java exceptions using Java Pathfinder and program instrumentation},
author = {Martins, Alexandre Locci and Hanazumi, Simone and Melo, Ana Cristina Vieira de},
year = {2014},
doi = {10.1007/978-3-319-09144-0_46},
publisher = {Springer},
booktitle   = {International Conference on Computational Science and Its Applications}
}