Linear-time Temporal Logic guided Greybox Fuzzing
ICSE '22: Proceedings of the 44th International Conference on Software Engineering
Saved in:
Main Authors: | Meng, Ruijie, Dong, Zhen, Li, Jialin, Beschastnikh, Ivan, Roychoudhury, Abhik |
---|---|
Other Authors: | DEPARTMENT OF COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
Association for Computing Machinery
2023
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/244802 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Concurrency-related Flaky Test Detection in Android apps.
by: Dong, Zhen, et al.
Published: (2023) -
Trust Enhancement Issues in Program Repair
by: Noller, Yannic, et al.
Published: (2023) -
Partitioning Patches into Test-equivalence Classes for Scaling Program Repair.
by: Mechtaev, Sergey, et al.
Published: (2023) -
Localizing Patch Points From One Exploit.
by: Shen, Shiqi, et al.
Published: (2023) -
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis.
by: Wang, Guanhua, et al.
Published: (2023)