Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
arXiv 2604.23035•210df410ce794e065f55383052cc36baf3bad60c8a5b8ed9e27ce171b586bf9b
AutoPyVerifierCode BrokerDAG searchHybrid Path-SumsLLM verificationLLM+static analysisPylintWebAssemblycode quality assessmentconcolic executiondependent typesexecutable verifiersformal verificationhybrid quantum-classical verificationmicrocontrollersmulti-agent systemmultiverse debuggingstaged typesstate-space reductionstatic assertionssymbolic executiontensor shape checkingtool synthesistrace-based debuggingunsafe Rust auditing','safety tags','safety-tool','Rust standard
Paper metadata
- arXiv ID
- 2604.23035
- Version
- Not specified by this published record
- Category
- Computer Science — Programming Languages (cs.PL)
The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 210df410ce794e065f55383052cc36baf3bad60c8a5b8ed9e27ce171b586bf9b
- Enrichment time
- 2026-04-28T08:52:09Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.