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
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
Appendix B for the final report by Anton Dil, Sue Truby and Joseph Osunde.