An Approach to use Executable Models for Testing.

Michael Soden Hajo Eichler An Approach to use Executable Models for Testing. 75-85 2007 conf/emisa/2007 EMISA db/conf/emisa/emisa2007.html#SodenE07