Integrating test generation functionality into the Teaching Machine environment

Michael Bruce-Lockhart, Pilu Crescenzi, Theodore S. Norvell. Integrating test generation functionality into the Teaching Machine environment. Electronic Notes in Theoretical Computer Science, 224:115-124, 2009. [doi]

Authors

Michael Bruce-Lockhart

This author has not been identified. Look up 'Michael Bruce-Lockhart' in Google

Pilu Crescenzi

This author has not been identified. Look up 'Pilu Crescenzi' in Google

Theodore S. Norvell

This author has not been identified. Look up 'Theodore S. Norvell' in Google