Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition | Paper Citation Record

Observation 750a83ec-618e-44d5-a168-984b654ba606 · outbound

This paper cites Sok: Eternal war in memory.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Sok: Eternal war in memory

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.273083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2040b255-70f1-459a-86c4-c24adc83052a · outbound

This paper cites The art, science, and engineering of fuzzing: A survey.IEEE Transactions on Software Engineering, 47(11):2312–2331, 2019.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition The art, science, and engineering of fuzzing: A survey.IEEE Transactions on Software Engineering, 47(11):2312–2331, 2019

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.279908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f19fcf5c-353b-4373-b345-58bf865f84e4 · outbound

This paper cites Continuous fuzzing with libfuzzer and addresssanitizer.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Continuous fuzzing with libfuzzer and addresssanitizer

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.283212Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 47c970b6-7e8f-43b1-a62c-9c9bf8a21858 · outbound

This paper cites Llm-based test-driven interactive code generation: User study and empirical evaluation.IEEE Transactions on Software Engineering, 2024.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Llm-based test-driven interactive code generation: User study and empirical evaluation.IEEE Transactions on Software Engineering, 2024

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.316191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8f0a5556-5d5b-4167-8fd1-814f7cb37d87 · outbound

This paper cites OSS-Fuzz-Gen: Automated Fuzz Target Generation, May 2024.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition OSS-Fuzz-Gen: Automated Fuzz Target Generation, May 2024

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.296903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8f489291-e25a-44c7-a570-fd9d00e10039 · outbound

This paper cites Understanding large language model based fuzz driver generation.arXiv e-prints, pages arXiv–2307, 2023.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Understanding large language model based fuzz driver generation.arXiv e-prints, pages arXiv–2307, 2023

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.314453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e847fdc5-b621-4881-9b9f-037adc89b480 · outbound

This paper cites How effective are they? exploring large language model based fuzz driver generation.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition How effective are they? exploring large language model based fuzz driver generation

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.321169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation bfad0efa-4797-41b2-a7bf-ad02906d0b97 · outbound

This paper cites Prompt fuzzing for fuzz driver generation.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Prompt fuzzing for fuzz driver generation

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.324503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7ddc8468-f30e-4d22-9d27-f0c773250209 · outbound

This paper cites Ckgfuzzer: Llm-based fuzz driver generation enhanced by code knowledge graph.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Ckgfuzzer: Llm-based fuzz driver generation enhanced by code knowledge graph

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.312735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 21c2b2c7-41ac-41da-963b-2826a9f11c11 · outbound

This paper cites An Empirical Study of Fuzz Harness Degradation.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition An Empirical Study of Fuzz Harness Degradation

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-07-09T22:26:36.943167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5dcfa524-6e7d-43fb-968c-1c48bc8f3e4c · outbound

This paper cites Understanding the planning of LLM agents: A survey.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Understanding the planning of LLM agents: A survey

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-07-09T22:26:36.947935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d6f8085d-94ec-4f07-9c04-cde896979dd4 · outbound

This paper cites Promefuzz: A knowledge-driven approach to fuzzing harness generation with large language models.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Promefuzz: A knowledge-driven approach to fuzzing harness generation with large language models

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.306959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b5594cd1-4f6f-482b-8ac3-3993100f4ccb · outbound

This paper cites In- telligen: Automatic driver synthesis for fuzz testing.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition In- telligen: Automatic driver synthesis for fuzz testing

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.295180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2daa9377-b8c7-44c3-a812-b17800652b26 · outbound

This paper cites Fudge: fuzz driver generation at scale.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Fudge: fuzz driver generation at scale

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.322844Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 69d55eb0-f78f-4502-bdc0-0722e738b279 · outbound

This paper cites {FuzzGen}: Automatic fuzzer generation.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition {FuzzGen}: Automatic fuzzer generation

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.303530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation bd8c6fde-7fde-4229-8e30-c6bc2cbc2b30 · outbound

This paper cites https://github.com/lifthrasiir/j40, Accessed: 2024.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition https://github.com/lifthrasiir/j40, Accessed: 2024

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.276444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c46f2bd8-8791-4db0-8d93-19107f5437e4 · outbound

This paper cites sitter Contributors.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition sitter Contributors

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.284950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 493c6063-ff7b-4489-bcf6-ff9aebe80eec · outbound

This paper cites Hopper: Interpretative fuzzing for libraries.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Hopper: Interpretative fuzzing for libraries

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.271448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 676c16f9-0439-46f9-ab62-d5d4a503ddf3 · outbound

This paper cites Afgen: Whole-function fuzzing for applications and libraries.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Afgen: Whole-function fuzzing for applications and libraries

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.317900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6836dee8-e478-470f-b892-db268c21b17a · outbound

This paper cites Sok: Prudent evaluation practices for fuzzing.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Sok: Prudent evaluation practices for fuzzing

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.262706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4181b1d1-9a59-446b-b7bb-3e6640ccdedc · outbound

This paper cites https://issues.oss-fuzz.com, Accessed: Jan 2026.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition https://issues.oss-fuzz.com, Accessed: Jan 2026

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.311014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2e387129-224d-4016-9317-083b42661b7d · outbound

This paper cites Confusing value with enumeration: Studying the use of{CVEs} in academia.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Confusing value with enumeration: Studying the use of{CVEs} in academia

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.300162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b1fcefb3-6e29-4c08-89af-e1404bba9960 · outbound

This paper cites Deepseek-v3 technical report.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Deepseek-v3 technical report

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.257320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f3641dd8-12a6-4e63-ae1a-418c08b44813 · outbound

This paper cites Claude 3.5 series update, 2024.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Claude 3.5 series update, 2024

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.255451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d8b76e6c-92d5-45eb-8251-208d1b1de3a0 · outbound

This paper cites A Com parison of DeepSeek and Other LLMs.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition A Com parison of DeepSeek and Other LLMs

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-07-09T22:26:36.945710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d23b3db2-c8db-4802-8e62-a027dce361ea · outbound

This paper cites Winnie: Fuzzing windows applications with harness synthesis and fast cloning.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Winnie: Fuzzing windows applications with harness synthesis and fast cloning

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.269705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1ba23e9d-4a6f-4f28-8484-7b14951d754c · outbound

This paper cites APICraft: Fuzz driver generation for closed-source SDK libraries.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition APICraft: Fuzz driver generation for closed-source SDK libraries

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.259114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 95f8f52e-6736-4187-96c6-24b86a5263a7 · outbound

This paper cites Automatic library fuzzing through api relation evolvement.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Automatic library fuzzing through api relation evolvement

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.281535Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ca632dfa-1610-4618-a5f6-7615a798b80c · outbound

This paper cites https://llvm.org/docs/LibFuzzer.html, Accessed: Jan 2026.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition https://llvm.org/docs/LibFuzzer.html, Accessed: Jan 2026

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.266182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d0739a01-933b-4261-89b9-2f4e002c363d · outbound

This paper cites Libafl libfuzzer: Libfuzzer on top of libafl.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Libafl libfuzzer: Libfuzzer on top of libafl

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.326150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ebed607a-69ab-4e65-8d77-21f2b777e541 · outbound

This paper cites Cupid: Automatic fuzzer selection for collaborative fuzzing.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Cupid: Automatic fuzzer selection for collaborative fuzzing

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.308677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation dd78e9a0-ce5f-4920-8f27-b0199c39ca90 · outbound

This paper cites Libafl qemu: A library for fuzzing-oriented emulation.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Libafl qemu: A library for fuzzing-oriented emulation

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.286619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5ad95fce-f0d5-45e2-b10a-a92eaf02d5bf · outbound

This paper cites Liberating libraries through automated fuzz driver generation: Striking a balance without consumer code.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Liberating libraries through automated fuzz driver generation: Striking a balance without consumer code

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.264476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e730a47f-8b12-4f0f-9a27-341814d2017e · outbound

This paper cites Futag: Automated fuzz target genera- tor for testing software libraries.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Futag: Automated fuzz target genera- tor for testing software libraries

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.267945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4e29164e-6741-47ff-aafd-d67a50d32ebf · outbound

This paper cites Utopia: Automatic generation of fuzz driver using unit tests.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Utopia: Automatic generation of fuzz driver using unit tests

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.319497Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f441cd73-91a9-4191-99af-6c5a834f2234 · outbound

This paper cites Wildsync: Automated fuzzing harness synthesis via wild api usage recovery.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Wildsync: Automated fuzzing harness synthesis via wild api usage recovery

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.293507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 64c14cb5-457e-4bb6-8902-3b7409c8e524 · outbound

This paper cites Hercules droidot and the murder on the jni express.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Hercules droidot and the murder on the jni express

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.329519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3ca67ab5-a977-4b4b-84e6-09dbdbffc525 · outbound

This paper cites Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.260994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation cd4780c7-f1ba-4a05-9272-d7e266fd5492 · outbound

This paper cites Fuzz4all: Universal fuzzing with large language models.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Fuzz4all: Universal fuzzing with large language models

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.290151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e65f297c-3461-43b1-a4d5-a82d9f9d5420 · outbound

This paper cites Whitefox: White-box compiler fuzzing empowered by large language models.Proceedings of the ACM on Programming Languages, 8(OOPSLA2):709–735, 2024.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Whitefox: White-box compiler fuzzing empowered by large language models.Proceedings of the ACM on Programming Languages, 8(OOPSLA2):709–735, 2024

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.301952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 510f9f83-2c14-4c64-96e2-6b74cdbe3437 · outbound

This paper cites GPT-4 Technical Report.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition GPT-4 Technical Report

Reference 41

Resolution: verified exact; local_arxiv, observed 2026-07-09T22:26:36.950017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e929724a-8178-420b-bb70-baf978cade46 · outbound

This paper cites Starcoder: May the source be with you!Transactions on machine learning research, 2023.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Starcoder: May the source be with you!Transactions on machine learning research, 2023

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.278156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 434297be-5360-4b51-a614-d87b2deac624 · outbound

This paper cites Testing the limits: Unusual text inputs generation for mobile app crash detection with large language model.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Testing the limits: Unusual text inputs generation for mobile app crash detection with large language model

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.327852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6603ce60-c3d4-4718-b1d5-730825e64028 · outbound

This paper cites Elfuzz: efficient input generation via llm-driven synthesis over fuzzer space.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Elfuzz: efficient input generation via llm-driven synthesis over fuzzer space

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.274751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5d2eed6a-1556-44bb-a0d8-b65c6f2679ce · outbound

This paper cites Error messages to fuzzing: Detecting xps parsing vulnerabilities in windows printing components.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Error messages to fuzzing: Detecting xps parsing vulnerabilities in windows printing components

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.291828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a1338eb2-c3f4-4c96-9567-09433419face · outbound

This paper cites an unresolved cited work.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-07-09T22:26:37.298433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 253ee333-383f-45e2-a5e5-b3465ec5b2d8 · outbound

This paper cites Aimfuzz: Automated function- level in-memory fuzzing on binaries.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Aimfuzz: Automated function- level in-memory fuzzing on binaries

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-07-09T22:26:37.305205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0aae8d26-e77f-4973-9977-6e6bb0e044f9 · outbound

This paper cites Is the following {parameter_name} a function pa- rameter by reference? The answer is output in json format. Below is a sample output: {.

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition Is the following {parameter_name} a function pa- rameter by reference? The answer is output in json format. Below is a sample output: {

Reference 48

Resolution: malformed identifier; raw_fallback, observed 2026-07-09T22:26:37.288441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers