Dil, A., Truby, S. and Osunde, J. (2018) Development and evaluation of a tool for Java structural specification testing. Appendix B, Java specification checking: survey and interview results

This section contains a variety of resources. These include not only items produced by eSTEeM but also other items which we think may be of interest to the higher education teaching community, including journal articles, presentations, websites and links to videos.