Academic Journal
GATES: Accelerating Solving-Based Testing Through Adaptive Solving and Guided Execution
| Τίτλος: | GATES: Accelerating Solving-Based Testing Through Adaptive Solving and Guided Execution |
|---|---|
| Συγγραφείς: | Qiu, H., Su, Z., Yu, Z., Tong, X., Yu, D., Jiang, Y. |
| Πηγή: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 52(10):3055-3070 Oct, 2026 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISSN: | 00985589 19393520 23263881 |
|---|---|
| DOI: | 10.1109/TSE.2026.3708192 |