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.

Attachment Size
Dil, Truby and Osunde, Appendix B.pdf (1.13 MB) 1.13 MB