共 339 条
- [1] Accioly P., 2012, 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2012), P1, DOI 10.1109/SBCARS.2012.17
- [3] Agarwal Khushboo., 2010, Proceedings of the 3rd India Software Engineering Conference. ISEC'10, P65, DOI DOI 10.1145/1730874.1730888
- [4] Aichernig Bernhard K., 2014, Tests and Proofs. 8th International Conference (TAP 2014). Held as Part of STAF 2014. Proceedings: LNCS 8570, P1, DOI 10.1007/978-3-319-09099-3_1
- [5] Scalable Incremental Test-Case Generation from Large Behavior Models [J]. TESTS AND PROOFS, TAP 2015, 2015, 9154 : 1 - 18
- [6] Alexander R.T, 2010, SOFTW TESTING VERIFI, V20
- [8] Alipour M.A, 2016, P 25 INT S SOFTW TES
- [9] Applying black-box testing to UML/OCL database models [J]. SOFTWARE QUALITY JOURNAL, 2014, 22 (02) : 153 - 184
- [10] Allwood Tristan., 2011, Proceedings of the 2011 International Symposium on Software Testing and Analysis. ISSTA'11, P375, DOI DOI 10.1145/2001420.2001465