Linear-time Temporal Logic guided Greybox Fuzzing

• المؤلفون الرئيسيون: Meng, Ruijie, Dong, Zhen, Li, Jialin, Beschastnikh, Ivan, Roychoudhury, Abhik
• مؤلفون آخرون: DEPARTMENT OF COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: Association for Computing Machinery 2023
• الموضوعات: cs.SE
• الوصول للمادة أونلاين: https://scholarbank.nus.edu.sg/handle/10635/244802

ICSE '22: Proceedings of the 44th International Conference on Software Engineering