A Recursive Colored Petri Nets semantics for AUML as base of test case generation.

Yacine Kissoum, Zadi Sahnoun

Browse the full AICCSA paper archive.