Quoc-Sang Phan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jun Sun
89 publications
Long H. Pham
9 publications
Quang Loc Le
8 publications
Shengchao Qin
7 publications

research

∙ 07/12/2019

Concolic Testing Heap-Manipulating Programs

Concolic testing is a test generation technique which works effectively ...

0 Long H. Pham, et al. ∙

research

∙ 12/16/2017

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Symbolic execution is a well established method for test input generatio...

0 Long H. Pham, et al. ∙