Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets

Figure 1

The framework of IOCO test selection method with CPN models.