テスト関連の論文メモ

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

この論文にも載っているが、ASMLって良く最近聞く。ちゃんと知っておいたほうが良いのだろうか。