Quoc-Sang Phan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2014–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICSE | The Challenges of Shift Left Static Analysis. | Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen |
| 2022 | ICSE | Analyzing the CMake Build System. | KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan |
| 2019 | ATVA | Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2019 | FM | Concolic Testing Heap-Manipulating Programs. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun |
| 2018 | ICSE | Testing heap-based programs with Java StarFinder. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2014 | CCS | Abstract model counting: a novel approach for quantification of information leaks. | Quoc-Sang Phan, Pasquale Malacaria |