Alexander Lechner Ruth Breu Workflow Inspector - A Test Tool for Microsoft Workflow Foundation. 498-501 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.54 conf/icst/2008 db/conf/icst/icst2008.html#LechnerB08