Quang Loc Le

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2023-11-24	Paper
A decision procedure for string logic with quadratic equations, regular expressions and length constraints Programming Languages and Systems	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 Automated Technology for Verification and Analysis	2020-07-20	Paper
Enhancing symbolic execution of heap-based programs with separation logic for test input generation Automated Technology for Verification and Analysis	2020-07-20	Paper
Frame inference for inductive entailment proofs in separation logic	2019-09-16	Paper
Satisfiability modulo heap-based programs Computer Aided Verification	2019-05-03	Paper
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic Programming Languages and Systems	2016-12-21	Paper
Bi-Abduction with Pure Properties for Specification Inference Programming Languages and Systems	2015-01-12	Paper

Research outcomes over time

This page was built for person: Quang Loc Le