مؤتمر
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
العنوان: | Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations |
---|---|
المؤلفون: | Kim, Jongwook, So, Sunbeom, Oh, Hakjoo |
المصدر: | 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2023 IEEE/ACM 45th International Conference on. :2224-2236 May, 2023 |
Relation: | 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781665457019 |
---|---|
تدمد: | 15581225 |
DOI: | 10.1109/ICSE48619.2023.00187 |