@misc{misc8c9e9266,
title   = {To test or not to test},
author = {Simão, Adenilso da Silva},
year = {2015},
doi = {10.1007/978-3-319-29473-5},
publisher = {Springer},
booktitle   = {Brazilian Symposium on Formal Methods - SBMF}
}