共 46 条
[31]
Myers G.J., 2011, The Art of Software Testing
[33]
North J, 2006, TLS-TIMES LIT SUPPL, P4
[34]
Nursimulu K., 1995, P 1995 C CTR ADV STU
[35]
Rane P., 2017, THESIS
[36]
Coverage based test-case generation using model checkers
[J].
EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS,
2001,
:83-91
[37]
Rose Seb., 2015, The cucumber for Java book: Behaviour-driven development for testers and developers
[39]
Sarmiento E, 2014, 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET), P32, DOI 10.1109/RET.2014.6908677
[40]
Sharma R, 2014, PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), P241