共 43 条
[1]
Amalfitano D., 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), P252, DOI 10.1109/ICSTW.2011.77
[2]
[Anonymous], 2010, 2010 3 INT C SOFTW T
[3]
[Anonymous], 2001, LNCS, DOI [DOI 10.1007/3-540-45449-7_11, DOI 10.1007/3-540-45449-711]
[4]
[Anonymous], 2009, DESIGNING USER INTER
[5]
Artzi S, 2011, 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), P571, DOI 10.1145/1985793.1985871
[6]
Baresi Luciano., 2001, Test Oracles
[7]
Finite state testing and analysis of graphical user interfaces
[J].
12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS,
2001,
:34-43
[8]
Brooks P., 2009, P 2 IEEE INT C SOFTW
[9]
Brooks P. A., 2007, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, P333
[10]
Cadar C., 2008, Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI'08, (USA), P209