Quoc-Sang Phan

29 papers A 4B 3Journal 11Unranked 10
YearRankTypeTitle / Venue / Authors
2023 — conf
The Challenges of Shift Left Static Analysis.
ICSE-SEIP
Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen
2022 — conf
Analyzing the CMake Build System.
ICSE (SEIP)
KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
2019 J jnl
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis.
Adv. Comput.
Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan
2019 B conf
Concolic Testing Heap-Manipulating Programs.
FM
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
2019 J jnl
Concolic Testing Heap-Manipulating Programs.
CoRR
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
2019 B conf
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation.
ATVA
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
2018 J jnl
Automatic Data Structure Repair usingSeparation Logic.
ACM SIGSOFT Softw. Eng. Notes
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan
2018 A conf
Symbolic Side-Channel Analysis for Probabilistic Programs.
CSF
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
2018 J jnl
Symbolic Side-Channel Analysis for Probabilistic Programs.
IACR Cryptol. ePrint Arch.
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
2018 J jnl
Test input generation using separati logic.
ACM SIGSOFT Softw. Eng. Notes
Quoc-Sang Phan
2018 — conf
Testing heap-based programs with Java StarFinder.
ICSE (Companion Volume)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
2017 — conf
Model-Counting Approaches for Nonlinear Numerical Constraints.
NFM
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
2017 J jnl
Model-counting Approaches For Nonlinear Numerical Constraints.
IACR Cryptol. ePrint Arch.
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
2017 A conf
Synthesis of Adaptive Side-Channel Attacks.
CSF
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2017 J jnl
Synthesis of Adaptive Side-Channel Attacks.
IACR Cryptol. ePrint Arch.
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2016 A conf
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT.
CSF
Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
2016 — conf
String analysis for side channels with segmented oracles.
SIGSOFT FSE
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan
2015 B conf
All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks.
ARES
Quoc-Sang Phan, Pasquale Malacaria
2015 J jnl
Concurrent Bounded Model Checking.
ACM SIGSOFT Softw. Eng. Notes
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu
2015 J jnl
Model Counting Modulo Theories.
CoRR
Quoc-Sang Phan
2015 — —
Model Counting Modulo Theories.
Quoc-Sang Phan
2014 A conf
Abstract model counting: a novel approach for quantification of information leaks.
AsiaCCS
Quoc-Sang Phan, Pasquale Malacaria
2014 — conf
Quantifying information leaks using reliability analysis.
SPIN
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim
2014 — conf
Symbolic Execution as DPLL Modulo Theories.
ICCSW
Quoc-Sang Phan
2013 — conf
Self-composition by Symbolic Execution.
ICCSW
Quoc-Sang Phan
2012 J jnl
Symbolic quantitative information flow.
ACM SIGSOFT Softw. Eng. Notes
Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu
2011 — conf
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT.
FroCoS
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi
2009 — conf
Supporting Public Administration with an Integrated BPR Environment.
AFRICOM
Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan