- Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
2026/04/24 by Maarten Steevens, Tom Lauwaerts, Christophe Scholliers · 1 voice
Computer Science · #Code (set theory) #Debugger #Debugging #Fuzz testing #Logic, programming, and type systems #Microcontroller #Nondeterministic algorithm #Real-Time Systems Scheduling #Security and Verification in Computing #State (computer science) #State space #cs.PL
- Locus: Agentic Predicate Synthesis for Directed Fuzzing
2025/08/29 by Jie Zhu, Chihao Shen, Zhu, Jie +9 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Debugging #Exploit #Fuzz testing #Key (lock) #Program analysis #Program comprehension #Software Testing and Debugging Techniques #Task (project management) #Web Application Security Vulnerabilities