Bruce-Lockhart, Crescenzi, Norvell, 2009. Integrating test generation functionality into the Teaching Machine environment 224.. https://doi.org/10.1016/j.entcs.2008.12.055