共 76 条
- [11] [Anonymous], LNCS
- [12] [Anonymous], 2000, CAUSALITY
- [13] A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1 - 10
- [14] Asadi F., 2010, 2010 Proceedings of Second International Symposium on Search Based Software Engineering (SSBSE), P153, DOI 10.1109/SSBSE.2010.26
- [16] Bertolino A., 2007, Future of Software Engineering 2007
- [17] Binkley D, 2015, IEEE INT WORK C SO, P1, DOI 10.1109/SCAM.2015.7335396
- [18] Moving Fast with Software Verification [J]. NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 3 - 11
- [19] Ceccarelli M., 2010, P 32 INT C SOFTW ENG, V2, P163