共 61 条
[1]
Agruss C., 2000, FLORIDA I TECHNOLOGY, P68
[3]
[Anonymous], 2006, QUALITY ASSURANCE I
[4]
[Anonymous], 2007, Reactive Systems: Modelling, Specification and Verification
[5]
Bach J., 2003, TECH REP
[8]
Finite state testing and analysis of graphical user interfaces
[J].
12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS,
2001,
:34-43
[9]
Berner S, 2005, PROC INT CONF SOFTW, P571
[10]
Bottou L., 2012, NEURAL NETWORKS TRIC, P421, DOI DOI 10.1007/978-3-642-35289-8_25