Towards a Test-Ready Meta-model for Use Cases

An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique

Empirical Software Engineering

HOTTest: A model-based test design technique for enhanced testing of domain-specific applications

ACM Transactions on Software Engineering and Methodology (TOSEM)

A measurement framework for evaluating model-based test generation tools

IBM Systems Journal - Model-driven software development

LTS-BT: a tool to generate and select functional test cases for embedded systems

Proceedings of the 2008 ACM symposium on Applied computing

Software debugging, testing, and verification

IBM Systems Journal