A Graph-based Framework for High-level Test Synthesis. - Ali Pourghaffari bashari; Saadat Pourmozafari (World Congress on Engineering, 2007)