activity
20232026
most citedIsolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models

15 citations · 15 across the 4 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.SE2024

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search

Haoxin Tu, Lingxiao Jiang, Marcel Böhme

How to find memory safety bugs efficiently when navigating a symbolic execution tree that suffers from path explosion? Existing solutions either adopt path search heuristics to max…