A method for automatically generating test cases from a domain specific description language specification makes use of the properties of the language to derive domain specific axioms and language specific predicates. These properties are embedded into an extended finite state machine which is in turn...http://www.google.com/patents/US7392509?utm_source=gb-gplus-sharePatent US7392509 - Method for domain specific test design automation
