Dil, A., Truby, S. and Osunde, J. (2018) Development and evaluation of a tool for Java structural specification testing. eSTEeM Final Report

eSTEeM final report by Anton Dil, Sue  Truby and Joseph Osunde.