HOTTest: A model-based test design technique for enhanced testing of domain-specific applicationsAvik SinhaCarol Smidts2006ACM TOSEM
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation techniqueAvik SinhaCarol Smidts2006Empirical Software Engineering