Avik Sinha Carol Smidts HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. 242-278 2006 15 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/1151695.1151697 db/journals/tosem/tosem15.html#SinhaS06