共 18 条
- [1] MaTeLo - Statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 [J]. THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 336 - 342
- [2] Dulz W, 2011, ICSE WORKSH AUT SOFT
- [4] El-Far I.K., 2001, ENCY SOFTWARE ENG
- [5] Legeard B., 2007, PRACTICAL MODEL BASE
- [6] Musa J.D., 1996, NATO ASI SERIES F, V154, P333
- [8] Poore J.H., 1998, Statistics, Testing, and Defense Acquisition
- [9] Prowell S. J., 2000, TECHNICAL REPORT
- [10] Prowell Stacy J., 2003, HICSS, P337, DOI [10.1109/HICSS.2003.1174916, DOI 10.1109/HICSS.2003.1174916]