Quoc-Sang Phan | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred