Colored Petri nets model based conformance test generation.

Jing Liu, Xinming Ye, Jun Li

Browse the full ISCC paper archive.