共 49 条
- [1] Ahsan I., 2017, P 2 INT C INT THINGS
- [2] Anjalika H. N., 2018, ONTOLOGY BASED TEST
- [3] [Anonymous], 2017, THESIS
- [4] Atefi S., 2019, AUTOMATED TESTING FR
- [5] Semantic-Based Test Oracles [J]. 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 640 - 649
- [6] Blasi A, 2017, P SEM SER ADV TECHN, P1
- [7] Carvalho G., 2013, SAC, P1217
- [8] Carvalho G., 2012, TECHNICAL REPORT
- [9] Carvalho G., 2014, INT WORKSHOP FORMAL, P19, DOI DOI 10.1007/978-3-319-05416-2_3
- [10] NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2015, 9276 : 283 - 290