English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
I/O conformance test generation with colored petri nets Journal article
Liu J., Ye X., Zhou J., Song X.. I/O conformance test generation with colored petri nets[J]. Applied Mathematics and Information Sciences, 2014, 8(6), 2695-2704.
Authors:  Liu J.;  Ye X.;  Zhou J.;  Song X.
Favorite | TC[WOS]:2 TC[Scopus]:4 | Submit date：2018/12/22
Colored Petri Nets  Input-output Conformance  Model Simulation  Software Testing  Test Generation  
On conformance testing of non-deterministic systems Journal article
Ye X., Zhou J., Song X., Liu Y.. On conformance testing of non-deterministic systems[J]. International Journal of Computer Mathematics, 2001, 77(1), 55-72.
Authors:  Ye X.;  Zhou J.;  Song X.;  Liu Y.
Favorite | TC[WOS]:0 TC[Scopus]:0 | Submit date：2018/12/22
Conformance Testing  Distinguishing Sequence Of a Set  Labeled Transition System  Non-determinacy  Observational Equivalence  Test Path Selection  Test Sequence Tree