共 16 条
[1]
Ahmad A, 2015, UCAAT
[2]
Amalfitano D, 2012, IEEE INT CONF AUTOM, P258, DOI 10.1145/2351676.2351717
[3]
MBT for GlobalPlatform Compliance Testing: Experience Report and Lessons Learned
[J].
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW),
2014,
:66-70
[4]
Model-based Testing of Cryptographic Components Lessons Learned from Experience
[J].
2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2013),
2013,
:192-201
[5]
Chan W. K., 2009, 2009 IEEE Asia-Pacific Services Computing Conference (APSCC 2009), P111, DOI 10.1109/APSCC.2009.5394131
[6]
Incki Koray, 2012, 2012 International Conference on Software Security and Reliability Companion, P18, DOI 10.1109/SERE-C.2012.32
[7]
Legeard, 2016, MODEL BASED TESTING
[8]
Legeard B., 2013, ICST 2013, P192
[9]
Nebut C., 2006, Software Product Lines, P447
[10]
Richter Reinhart, XCERRA CORPORATION D