UML and Petri Nets for Test Case Generation From Fondue to CO-OPN: (my) first iteration Outline User’s viewpoint: the 4 steps for test generation The Model - Fondue approach…