A measurement framework for evaluating model-based test generation toolsAvik SinhaClay E. Williamset al.2006IBM Systems Journal