@article{articleebf94ef9,
title   = {From test purposes to formal JPF properties},
author = {Hanazumi, Simone and Melo, Ana Cristina Vieira de and Pasareanu, Corina S},
year = {2015},
doi = {10.1145/2693208.2693241},
journal   = {Software Engineering Notes}
}