Sudipto Ghosh Robert B. France Conrad Braganza Nilesh Kawane Anneliese Amschler Andrews Orest Pilskalns Test Adequacy Assessment for UML Design Model Testing. 332-346 2003 conf/issre/2003 ISSRE http://csdl.computer.org/comp/proceedings/issre/2003/2007/00/20070332abs.htm db/conf/issre/issre2003.html#GhoshFBKAP03