Holistic testing with basic statecharts.

Fevzi Belli Axel Hollmann Holistic testing with basic statecharts. 91-100 2007 conf/se/2007w Software Engineering (Workshops) db/conf/se/se2007w.html#BelliH07