Documents CPN’04 UML and Petri Nets for Test Case Generation University of Geneva D.Buchs, L.Lúcio,...

Slide 1 CPN’04 UML and Petri Nets for Test Case Generation University of Geneva D.Buchs, L.Lúcio, L.Pedro Slide 2 CPN’04 D. Buchs, L.Lúcio, L.Pedro 2 Tutorial roadmap…