@mastersthesis{mastersthesis6eb1b5cf,
title   = {Teste e verificação formal do comportamento excepcional de programas Java},
author = {Martins, Alexandre Locci and Melo, Ana Cristina Vieira de},
year = {2014},
school = {Universidade de São Paulo}
}