共 50 条
- [41] Application of an Improved Combinatorial Test Strategy in Test Case Generation for Aviation Software PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: IOT AND SMART CITY (ICIT 2018), 2018, : 65 - 69
- [42] ESBMC 6.1: automated test case generation using bounded model checking International Journal on Software Tools for Technology Transfer, 2021, 23 : 857 - 861
- [44] AUTOMATING TEST CASE GENERATION FOR REQUIREMENTS SPECIFICATION FOR PROCESSES ORCHESTRATING WEB SERVICES ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-1: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 1, 2008, : 381 - 384
- [45] Checking Java']Java Assertions Using Automated Test-Case Generation LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 221 - 226
- [46] SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), 2022, : 202 - 206
- [47] REVIEW OF AUTOMATED TEST CASE GENERATION, OPTIMIZATION, AND PRIORITIZATION USING UML DIAGRAMS: TRENDS, LIMITATIONS, AND FUTURE DIRECTIONS SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2024, 25 (05): : 3651 - 3673
- [48] Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study 2013 29TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE (ICSM), 2013, : 540 - 543