Towards the use of an automatic assessment system in the teaching of software testing | IEEE Conference Publication | IEEE Xplore