Linear-time Temporal Logic guided Greybox Fuzzing

Linear-time Temporal Logic guided Greybox Fuzzing

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

Saved in:
Bibliographic Details
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:
cs.SE
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
id sg-nus-scholar.10635-244802
record_format dspace
spelling sg-nus-scholar.10635-2448022024-04-17T08:58:04Z Linear-time Temporal Logic guided Greybox Fuzzing Meng, Ruijie Dong, Zhen Li, Jialin Beschastnikh, Ivan Roychoudhury, Abhik DEPARTMENT OF COMPUTER SCIENCE cs.SE cs.SE ICSE '22: Proceedings of the 44th International Conference on Software Engineering 2023-09-04T00:35:41Z 2023-09-04T00:35:41Z 2021-09-06 2023-09-03T10:35:09Z Conference Paper Meng, Ruijie, Dong, Zhen, Li, Jialin, Beschastnikh, Ivan, Roychoudhury, Abhik (2021-09-06). Linear-time Temporal Logic guided Greybox Fuzzing. ICSE '22: Proceedings of the 44th International Conference on Software Engineering. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/244802 Association for Computing Machinery Elements
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic cs.SE
cs.SE
spellingShingle cs.SE
cs.SE
Meng, Ruijie
Dong, Zhen
Li, Jialin
Beschastnikh, Ivan
Roychoudhury, Abhik
Linear-time Temporal Logic guided Greybox Fuzzing
description ICSE '22: Proceedings of the 44th International Conference on Software Engineering
author2 DEPARTMENT OF COMPUTER SCIENCE
author_facet DEPARTMENT OF COMPUTER SCIENCE
Meng, Ruijie
Dong, Zhen
Li, Jialin
Beschastnikh, Ivan
Roychoudhury, Abhik
format Conference or Workshop Item
author Meng, Ruijie
Dong, Zhen
Li, Jialin
Beschastnikh, Ivan
Roychoudhury, Abhik
author_sort Meng, Ruijie
title Linear-time Temporal Logic guided Greybox Fuzzing
title_short Linear-time Temporal Logic guided Greybox Fuzzing
title_full Linear-time Temporal Logic guided Greybox Fuzzing
title_fullStr Linear-time Temporal Logic guided Greybox Fuzzing
title_full_unstemmed Linear-time Temporal Logic guided Greybox Fuzzing
title_sort linear-time temporal logic guided greybox fuzzing
publisher Association for Computing Machinery
publishDate 2023
url https://scholarbank.nus.edu.sg/handle/10635/244802
_version_ 1800915939535880192

Similar Items