Lincoln S. Rocha, Rossana M. C. Andrade, Alessandro F. Garcia. A Method for Model Checking Context-Aware Exception Handling. In 27th Brazilian Symposium on Software Engineering, SBES 2013, Brasilia, Brazil, October 1-4, 2013. pages 59-68, IEEE, 2013. [doi]
Abstract is missing.