Linear-time temporal logic guided greybox fuzzing-Reference-Cited by-同舟云学术

Linear-time temporal logic guided greybox fuzzing

Published:2022-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 44th International Conference on Software Engineering
language:
Short-container-title:

Author:

Meng Ruijie¹,Dong Zhen²,Li Jialin¹,Beschastnikh Ivan³,Roychoudhury Abhik¹

Affiliation:

1. National University of Singapore, Singapore

2. Fudan University, China

3. University of British Columbia, Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3510003.3510082

Reference71 articles.

1. August. 2021 (last accessed). AFL. https://lcamtuf.coredump.cx/afl/. August. 2021 (last accessed). AFL. https://lcamtuf.coredump.cx/afl/.

2. August. 2021 (last accessed). Contiki-Telnet. https://github.com/contiki-os/contiki. August. 2021 (last accessed). Contiki-Telnet. https://github.com/contiki-os/contiki.

3. August. 2021 (last accessed). libFuzzer. https://llvm.org/docs/LibFuzzer.html. August. 2021 (last accessed). libFuzzer. https://llvm.org/docs/LibFuzzer.html.

4. August. 2021 (last accessed). Live555. http://www.live555.com/. August. 2021 (last accessed). Live555. http://www.live555.com/.

5. August. 2021 (last accessed). OpenSSH. http://www.openssh.com/. August. 2021 (last accessed). OpenSSH. http://www.openssh.com/.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30

2. Abstraction-Aware Inference of Metamorphic Relations;Proceedings of the ACM on Software Engineering;2024-07-12

3. ProveNFix: Temporal Property-Guided Program Repair;Proceedings of the ACM on Software Engineering;2024-07-12

4. Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

5. ProInspector: Uncovering Logical Bugs in Protocol Implementations;2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P);2024-07-08