共 31 条
[1]
[Anonymous], DERI20031029
[2]
Bianchi Dario, 2004, P 13 IEEE INT WORKSH
[4]
Elsaka Ethar, 2010, Proceedings of the IEEE Third International Conference on Software Testing Verification and Validation - Workshops (ICSTW 2010), P240, DOI 10.1109/ICSTW.2010.61
[5]
An Evaluation of Specification Based Test Generation Techniques using Model Checkers
[J].
2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009,
2009,
:72-+
[6]
Gerrard Paul, 1997, TESTING GUI APPL, P24
[7]
Han Li, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), P632, DOI 10.1109/COMPSAC.2009.92
[8]
Huo Qingning, 2005, DEV SOFTWARE TESTING
[9]
Kamde Pravin M., 2006, VALUE TEST CASES SOF
[10]
Kelley Kenneth, 2009, AUTOMATED TEST CAS G