A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets.

Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, Motoshi Saeki

Browse the full APSEC paper archive.