HOTTest: A model-based test design technique for enhanced testing of domain-specific applications DSLで仕様が記述されたシステムのブラックボックステストのテスト設計自動化の研究。 詳細は後で追加する。(と思う）この論文にも載っているが、ASMLっ…