Stefan Gossens Fevzi Belli Sami Beydeda Mario Dal Cin View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. 121-130 2005 conf/hase/2005 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2005.27 db/conf/hase/hase2005.html#GossensBBC05