Reactive Bottom-Up Testing | Paper Citation Record

Observation d102354f-005b-4bf0-9546-bebaab8ab05a · outbound

This paper cites https://github.com/ rockcarry/ffjpeg.

Reactive Bottom-Up Testing https://github.com/ rockcarry/ffjpeg

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.808133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e24e65f-0924-4b47-a7f7-213bbb3bfd5c · outbound

This paper cites Introduction to software testing.

Reactive Bottom-Up Testing Introduction to software testing

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.929865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8540e07e-84c8-4bde-a21c-682b89e279ba · outbound

This paper cites Restler: Stateful rest api fuzzing.

Reactive Bottom-Up Testing Restler: Stateful rest api fuzzing

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.933493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78ce2561-1b2d-43fd-98c6-77c8d2cb6be9 · outbound

This paper cites The smt-lib standard: Version 2.0.

Reactive Bottom-Up Testing The smt-lib standard: Version 2.0

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.937308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 797fca17-4c09-4353-987e-b51e1731e36c · outbound

This paper cites Fuzzing: Challenges and reflections.

Reactive Bottom-Up Testing Fuzzing: Challenges and reflections

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.940313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04df36ef-9682-40be-a13d-f93d1ac4c59b · outbound

This paper cites Directed greybox fuzzing.

Reactive Bottom-Up Testing Directed greybox fuzzing

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.943819Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c41fcfc-dafd-438b-a4eb-1e92a56fd33d · outbound

This paper cites Klee: unassisted and automatic generation of high- coverage tests for complex systems programs.

Reactive Bottom-Up Testing Klee: unassisted and automatic generation of high- coverage tests for complex systems programs

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.947331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c3fe9b6-afb5-4c0a-acfb-67660c7f1722 · outbound

This paper cites Binary analysis and symbolic execution with angr.

Reactive Bottom-Up Testing Binary analysis and symbolic execution with angr

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.950787Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d973b29-2972-488c-9045-46d0001471e3 · outbound

This paper cites A guide to stakeholder analysis for cybersecurity researchers, 2025.

Reactive Bottom-Up Testing A guide to stakeholder analysis for cybersecurity researchers, 2025

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.953790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 841f7b4d-1bfb-4103-941a-4457c55cc04a · outbound

This paper cites Mock objects in software testing: An analysis of usage in open-source projects.

Reactive Bottom-Up Testing Mock objects in software testing: An analysis of usage in open-source projects

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.956306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5db63a94-08ed-495b-bed0-4cb09055e1ba · outbound

This paper cites Z3: An ef- ficient smt solver.

Reactive Bottom-Up Testing Z3: An ef- ficient smt solver

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:50.959042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d115ce7e-af6f-4f01-8dfb-16eaa8f8cb4c · outbound

This paper cites Package manager: The core of a gnu/linux distribution.

Reactive Bottom-Up Testing Package manager: The core of a gnu/linux distribution

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.960332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f0cdee5e-e766-4488-ab88-51983801f70d · outbound

This paper cites AFL++: Combining incremental steps of fuzzing research.

Reactive Bottom-Up Testing AFL++: Combining incremental steps of fuzzing research

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.950990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation feab0774-a4df-4077-80e2-cff346c332a1 · outbound

This paper cites Be- yond the coverage plateau: A comprehensive study of fuzz blockers (registered report).

Reactive Bottom-Up Testing Be- yond the coverage plateau: A comprehensive study of fuzz blockers (registered report)

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.942472Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 51d535a3-df5f-4a83-9e8a-962dd43897a1 · outbound

This paper cites Intelligent rest api data fuzzing.

Reactive Bottom-Up Testing Intelligent rest api data fuzzing

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.932494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 199855e3-8e2d-45de-b497-a7346d719614 · outbound

This paper cites Levin, and David Molnar.

Reactive Bottom-Up Testing Levin, and David Molnar

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.923143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e4953812-c389-4e6c-aa34-f4b1b3e85c25 · outbound

This paper cites Autofuzz: Automated network protocol fuzzing framework.

Reactive Bottom-Up Testing Autofuzz: Automated network protocol fuzzing framework

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.913568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a9a8d0c9-ea5e-4976-bd00-314e3dcc1a14 · outbound

This paper cites Deriving semantics-aware fuzzers from web api schemas.

Reactive Bottom-Up Testing Deriving semantics-aware fuzzers from web api schemas

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.904798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1d5d76a8-b799-44a0-8bf6-ae3015ed44e0 · outbound

This paper cites Seed selection for successful fuzzing.

Reactive Bottom-Up Testing Seed selection for successful fuzzing

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.895734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 772b21cd-11f7-46ec-b2c0-02f8b52a61b6 · outbound

This paper cites Beacon: Directed grey-box fuzzing with provable path pruning.

Reactive Bottom-Up Testing Beacon: Directed grey-box fuzzing with provable path pruning

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.886660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1d1dc51f-d0db-45a9-b474-6367b970820f · outbound

This paper cites ISO/IEC/IEEE 24765:2010 - Systems and soft- ware engineering – V ocabulary.

Reactive Bottom-Up Testing ISO/IEC/IEEE 24765:2010 - Systems and soft- ware engineering – V ocabulary

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.877102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9e512ce3-b8f5-4a40-8721-a3173b0d576a · outbound

This paper cites Unit testing principles, practices, and patterns.

Reactive Bottom-Up Testing Unit testing principles, practices, and patterns

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.866159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5f2978cd-4976-413f-bb7e-87442198e21a · outbound

This paper cites Drivefuzz: Discovering autonomous driving bugs through driving quality-guided fuzzing.

Reactive Bottom-Up Testing Drivefuzz: Discovering autonomous driving bugs through driving quality-guided fuzzing

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.855575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 71583a25-87b5-4e84-b3f0-197df0ec5279 · outbound

This paper cites appneta/tcpreplay, Feb 2024.

Reactive Bottom-Up Testing appneta/tcpreplay, Feb 2024

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.844549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 588bc7a1-ec51-434b-985e-e7e620688ba7 · outbound

This paper cites Lattner and V.

Reactive Bottom-Up Testing Lattner and V

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.834577Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e00ebee8-0d4d-4a59-a2be-5d1d8148f3ca · outbound

This paper cites Github - leahneukirchen/mblaze: Unix utilities to deal with maildir, Jul 2017.

Reactive Bottom-Up Testing Github - leahneukirchen/mblaze: Unix utilities to deal with maildir, Jul 2017

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.824616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e31f88eb-77f7-4913-801e-d2295094eb38 · outbound

This paper cites Fairfuzz: a tar- geted mutation strategy for increasing greybox fuzz test- ing coverage.

Reactive Bottom-Up Testing Fairfuzz: a tar- geted mutation strategy for increasing greybox fuzz test- ing coverage

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.815077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ef75fc26-9219-49f7-b784-db770ff00f08 · outbound

This paper cites Redefin- ing indirect call analysis with kallgraph.

Reactive Bottom-Up Testing Redefin- ing indirect call analysis with kallgraph

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.799733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 447627e2-5d08-4d18-885e-3936467983c5 · outbound

This paper cites Github - libming/libming: Swf output library, 2020.

Reactive Bottom-Up Testing Github - libming/libming: Swf output library, 2020

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.789508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation eb66e720-ec8b-469e-9d73-a632425533b0 · outbound

This paper cites Improving Indirect-Call analysis in LLVM with type and Data-Flow Co-Analysis.

Reactive Bottom-Up Testing Improving Indirect-Call analysis in LLVM with type and Data-Flow Co-Analysis

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.778660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ff4c1362-b409-4495-bbc8-b08ee5b03ce8 · outbound

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

Reactive Bottom-Up Testing Afgen: Whole-function fuzzing for appli- cations and libraries

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.769369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 216e8032-f9b0-4239-a362-69168d39c1d7 · outbound

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

Reactive Bottom-Up Testing Afgen: Whole-function fuzzing for ap- plications and libraries

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.760667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7be51608-62df-4471-afe9-f8dceb4ca7cc · outbound

This paper cites Where Does It Go? Refin- ing Indirect-Call Targets with Multi-Layer Type Anal- ysis.

Reactive Bottom-Up Testing Where Does It Go? Refin- ing Indirect-Call Targets with Multi-Layer Type Anal- ysis

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.751426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1eea839c-00d5-4cbe-a158-2e2260e54888 · outbound

This paper cites SmartSeed: Smart Seed Generation for Efficient Fuzzing.

Reactive Bottom-Up Testing SmartSeed: Smart Seed Generation for Efficient Fuzzing

Reference 34

Resolution: verified exact; local_arxiv, observed 2026-08-05T10:49:51.225205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 424a710c-ed8f-41f8-aa47-8a28d29c9758 · outbound

This paper cites Directed symbolic execution.

Reactive Bottom-Up Testing Directed symbolic execution

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:51.036237Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9915f7a-2d53-4cad-983a-a9603e3ace27 · outbound

This paper cites C to checked c by 3c.

Reactive Bottom-Up Testing C to checked c by 3c

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.735923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation dcd83b36-a844-48ee-93c3-a19dabd0d442 · outbound

This paper cites Hybrid concolic testing.

Reactive Bottom-Up Testing Hybrid concolic testing

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.727276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation cda70c43-ad40-434c-a40b-e184538d1044 · outbound

This paper cites Demystify the fuzzing methods: A comprehensive survey.

Reactive Bottom-Up Testing Demystify the fuzzing methods: A comprehensive survey

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.718181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e1594147-5ffc-4054-8108-3c4e3e260bed · outbound

This paper cites The art, science, and engineering of fuzzing: A survey.

Reactive Bottom-Up Testing The art, science, and engineering of fuzzing: A survey

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.708541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 05ea1e68-8ffb-4983-b394-4a83b2f87cfe · outbound

This paper cites Github - marc-q/libwav: A simple wav library written in pure c., 2016.

Reactive Bottom-Up Testing Github - marc-q/libwav: A simple wav library written in pure c., 2016

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.699281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation aef3e93b-322b-4523-ab6b-fe89dee082e5 · outbound

This paper cites Algorithms for maximum satisfiability using unsatisfiable cores.

Reactive Bottom-Up Testing Algorithms for maximum satisfiability using unsatisfiable cores

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.690970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation deeecbe6-2777-46ab-b19b-30f707364db7 · outbound

This paper cites Checked c clang repository.

Reactive Bottom-Up Testing Checked c clang repository

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.681283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 68e6e231-6cf9-4b14-a337-81b9bd4453ad · outbound

This paper cites Github - miniupnp/ngiflib: Gif picture format decoding library written in c.

Reactive Bottom-Up Testing Github - miniupnp/ngiflib: Gif picture format decoding library written in c

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.672868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a03c800a-f3d6-43ed-8f6c-a695c5f445a6 · outbound

This paper cites Vulnerability-oriented fuzz testing for con- nected autonomous vehicle systems.

Reactive Bottom-Up Testing Vulnerability-oriented fuzz testing for con- nected autonomous vehicle systems

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.663375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8ffaddaa-b49d-403e-b3c9-0360deb174b0 · outbound

This paper cites John Wiley & Sons, 2011.

Reactive Bottom-Up Testing John Wiley & Sons, 2011

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.654044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation fd78e143-d9f6-4cb0-8013-8684f3411951 · outbound

This paper cites Stateafl: Greybox fuzzing for state- ful network servers.

Reactive Bottom-Up Testing Stateafl: Greybox fuzzing for state- ful network servers

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.646095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c1b26365-755e-4cf5-bb9d-10c1cd5065f6 · outbound

This paper cites Ccured: Type- safe retrofitting of legacy software.

Reactive Bottom-Up Testing Ccured: Type- safe retrofitting of legacy software

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.636923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3cf0257d-1dc8-4ba5-a041-8dd5647c77ac · outbound

This paper cites The hu- man side of fuzzing: Challenges faced by developers during fuzzing activities.

Reactive Bottom-Up Testing The hu- man side of fuzzing: Challenges faced by developers during fuzzing activities

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.628555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ce94fd33-34a6-4aea-941c-79b34e3eb226 · outbound

This paper cites Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries.

Reactive Bottom-Up Testing Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.619626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 6e881dc5-c92d-4a22-ba25-1888688cf9d3 · outbound

This paper cites Locksmith: Practical static race detection for c.

Reactive Bottom-Up Testing Locksmith: Practical static race detection for c

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.610115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 61b3cc25-481b-4868-b3ba-e36bc0046628 · outbound

This paper cites Nsfuzz: Towards efficient and state-aware network service fuzzing.

Reactive Bottom-Up Testing Nsfuzz: Towards efficient and state-aware network service fuzzing

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.600246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5aae4986-0089-47aa-be24-9d6236d22c32 · outbound

This paper cites Optimizing seed selection for fuzzing.

Reactive Bottom-Up Testing Optimizing seed selection for fuzzing

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.591409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation fc496033-3402-4935-b00c-bf7ab15268ec · outbound

This paper cites Nyx-net: network fuzzing with incremental snapshots.

Reactive Bottom-Up Testing Nyx-net: network fuzzing with incremental snapshots

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.582044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7440558d-9683-43e0-bed9-f70361cb5c71 · outbound

This paper cites Static program analysis as a fuzzing aid.

Reactive Bottom-Up Testing Static program analysis as a fuzzing aid

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.571859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 58f260b9-88dc-4a82-9aa1-c3689fac5268 · outbound

This paper cites Neuzz: Efficient fuzzing with neural program smoothing.

Reactive Bottom-Up Testing Neuzz: Efficient fuzzing with neural program smoothing

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.563074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d3a33f7c-cef4-45bb-bc85-9ea820b9871e · outbound

This paper cites No harness, no prob- lem: Oracle-guided harnessing for auto-generating c api fuzzing harnesses.

Reactive Bottom-Up Testing No harness, no prob- lem: Oracle-guided harnessing for auto-generating c api fuzzing harnesses

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.553384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8729d90b-6de7-4697-9be2-80109ebd6c21 · outbound

This paper cites To mock or not to mock? an empirical study on mocking practices.

Reactive Bottom-Up Testing To mock or not to mock? an empirical study on mocking practices

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.543538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a616203c-d2db-44eb-8c36-44ebe6d0c2b6 · outbound

This paper cites Mock objects for testing java systems: Why and how developers use them, and how they evolve.

Reactive Bottom-Up Testing Mock objects for testing java systems: Why and how developers use them, and how they evolve

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.534389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 779c066d-2c9d-4fe3-b457-07c9ac243eff · outbound

This paper cites One fuzz doesn’t fit all: Optimizing directed fuzzing via target-tailored program state restriction.

Reactive Bottom-Up Testing One fuzz doesn’t fit all: Optimizing directed fuzzing via target-tailored program state restriction

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.525117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation fc516435-ea4f-4eda-a39c-2cd5ace71eee · outbound

This paper cites Driller: Augmenting fuzzing through selective symbolic execution.

Reactive Bottom-Up Testing Driller: Augmenting fuzzing through selective symbolic execution

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.516261Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 653e113d-d00f-42e7-9a64-e863791f5b04 · outbound

This paper cites Klee symbolic virtual machine, 2015.

Reactive Bottom-Up Testing Klee symbolic virtual machine, 2015

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.506195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5275ece8-30e7-4942-8e82-12e2fa758d11 · outbound

This paper cites Arbiter: Bridging the static and dynamic divide in vulnerability discovery on binary programs.

Reactive Bottom-Up Testing Arbiter: Bridging the static and dynamic divide in vulnerability discovery on binary programs

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.495921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1ccee5ac-be42-4bbd-8666-1da03d7895a8 · outbound

This paper cites The progress, challenges, and per- spectives of directed greybox fuzzing.

Reactive Bottom-Up Testing The progress, challenges, and per- spectives of directed greybox fuzzing

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.486301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation bb7275c2-5c47-4ca1-b313-af310f84bd22 · outbound

This paper cites Not all cov- erage measurements are equal: Fuzzing by coverage accounting for input prioritization.

Reactive Bottom-Up Testing Not all cov- erage measurements are equal: Fuzzing by coverage accounting for input prioritization

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.476769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 21fbbbd1-a74e-4c5d-bd55-a6127aa2013a · outbound

This paper cites Neufuzz: Efficient fuzzing with deep neural network.

Reactive Bottom-Up Testing Neufuzz: Efficient fuzzing with deep neural network

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.468054Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4fd516f5-5b22-4529-b7bb-45b21e6de9e4 · outbound

This paper cites Directed incremental symbolic execu- tion.

Reactive Bottom-Up Testing Directed incremental symbolic execu- tion

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.458545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4e20db7b-ea13-43d7-b39f-189b852496f4 · outbound

This paper cites QSYM : A practical concolic execution en- gine tailored for hybrid fuzzing.

Reactive Bottom-Up Testing QSYM : A practical concolic execution en- gine tailored for hybrid fuzzing

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.449052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a81adfc9-e2fd-451f-83ce-b0b4f3c84e75 · outbound

This paper cites Neural network guided evolutionary fuzzing for finding traffic violations of autonomous vehicles.

Reactive Bottom-Up Testing Neural network guided evolutionary fuzzing for finding traffic violations of autonomous vehicles

Reference 68

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:49:51.439673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e03b9a1a-e259-4638-a63a-850c70b8e0e3 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 70

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.430343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 980a0583-3f8b-444d-b789-c97d5ab449f7 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 71

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.421503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7a189fbf-ba8b-4135-bfe0-70aa2e904021 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 72

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.411701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8f4064f3-1c5b-4343-8368-2f6441334ab0 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.402225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9dbc340e-71da-44e3-a1d1-e84ead90da8e · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.393945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0dcaf89c-8d40-405b-8fd2-89a72a427013 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 75

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.385560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 10777d2e-3618-4004-93cd-c16d5d094795 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 76

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.377061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 513ad65f-a81c-421e-8d90-c9447b6e83ff · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 77

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.368320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d61f8f1b-e135-49f3-bb1d-710f2f1a6cd3 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 78

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.359046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 081d6e09-d318-4b19-8b30-419f1a89a74e · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 79

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.350402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c608df39-1118-47fc-8ba7-3548a7ce392c · outbound

This paper cites /seeds/test.pcap.

Reactive Bottom-Up Testing /seeds/test.pcap

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.340826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 99dd8562-0587-4c79-8fb4-39bba69dfd55 · outbound

This paper cites For example, the libwav [40] project, was last updated in 2017, and all the CVEs reported were not verified, ac- knowledged or fixed by the developers.

Reactive Bottom-Up Testing For example, the libwav [40] project, was last updated in 2017, and all the CVEs reported were not verified, ac- knowledged or fixed by the developers

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.332521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 750fb030-96f8-4fac-a8fe-311179b16ecb · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 82

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.323041Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5be81884-256b-4279-a793-00e889780357 · outbound

This paper cites invalid input params ! \n.

Reactive Bottom-Up Testing invalid input params ! \n

Reference 83

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:49:51.314172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ec152b37-23ff-409e-8b82-0d4dc480c876 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 84

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.305084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d289f265-6c14-4cfe-9802-997766b0a665 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 85

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.295520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 629ff728-b94c-49a6-8359-a5c0e354bb8a · outbound

This paper cites This is mainly due to the fact that our strict runtime santization does’t allow the fuzzer to proceed from these crashes.

Reactive Bottom-Up Testing This is mainly due to the fact that our strict runtime santization does’t allow the fuzzer to proceed from these crashes

Reference 86

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:49:51.286510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ec5ca20e-47f6-4c21-9d5d-01614c4bc3af · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 87

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.275654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5952cbb1-5634-4160-aaa2-7c617b853d3f · outbound

This paper cites If these are unmodeled, execution terminates before reaching target functions.

Reactive Bottom-Up Testing If these are unmodeled, execution terminates before reaching target functions

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.265523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 76cc4b6d-29ad-403d-8582-4ea9b201f0ff · outbound

This paper cites A.10.4 Constraint Generation Failures There were no Constriant Generation failures that affected all the inputs in an call-edge or a target functions.

Reactive Bottom-Up Testing A.10.4 Constraint Generation Failures There were no Constriant Generation failures that affected all the inputs in an call-edge or a target functions

Reference 89

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:49:51.255627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ea6987f7-6ef4-41d0-a5e3-ca90a1034955 · outbound

This paper cites } if (strcmp(argv[1], "-d") == 0) { jfif = jfif_load(argv[2]); jfif_decode(jfif, &bmp); ○.

Reactive Bottom-Up Testing } if (strcmp(argv[1], "-d") == 0) { jfif = jfif_load(argv[2]); jfif_decode(jfif, &bmp); ○

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:49:51.244153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ffaab370-2e80-467e-ba1f-e93534d3b733 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 91

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:49:51.234978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4b1e13fe-fd04-4cac-9978-d8d9c04b0480 · outbound

This paper cites an unresolved cited work.

Reactive Bottom-Up Testing Unresolved cited work

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-05T10:49:51.011442Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers