From test purposes to formal JPF properties - Hanazumi, Simone; Melo, Ana Cristina Vieira de; Pasareanu, Corina S (Software Engineering Notes, 2015)