Surveys

Manuscripts of survey campaigns: systematic maps and reviews, each backed by its survey record — method, searches, catalog, and evidence notes — in the repository.

• Agent-Assisted Evidence Synthesis: A Survey
• Exhaustive Enumeration of Selection Observations in Pure Dataflow Graphs: A Survey and Unified Framework
• Symbolic Execution of Digital Hardware Designs: A Systematic Map of Path-Conditioned Design Execution