activity
20162022
most citedEnhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

3 citations · 5 across the 9 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016

A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints

Quang Loc Le

In this paper, we consider the satisfiability problem for string logic with equations, regular membership and Presburger constraints over length functions. The difficulty comes fro…