Quang Loc Le

Available identifiers

zbMath Open le.quang-locMaRDI QIDQ2234105

List of research outcomes

Publication	Date of Publication	Type
Concolic testing heap-manipulating programs	2024-03-14	Paper
An efficient cyclic entailment procedure in a fragment of separation logic	2023-11-24	Paper
A decision procedure for string logic with quadratic equations, regular expressions and length constraints	2023-08-02	Paper
Compositional satisfiability solving in separation logic	2021-10-18	Paper
Enhancing symbolic execution of heap-based programs with separation logic for test input generation	2020-07-20	Paper
Frame inference for inductive entailment proofs in separation logic	2019-09-16	Paper
Satisfiability modulo heap-based programs	2019-05-03	Paper
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic	2016-12-21	Paper
Bi-Abduction with Pure Properties for Specification Inference	2015-01-12	Paper

Research outcomes over time

This page was built for person: Quang Loc Le