default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQuoc-Sang Phan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2015
[b1]Quoc-Sang Phan:
Model Counting Modulo Theories. Queen Mary University of London, UK, 2015
Journal Articles
- 2020
- [j6]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:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - 2019
- [j5]Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan:
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. Adv. Comput. 113: 289-314 (2019) - 2018
- [j4]Quoc-Sang Phan:
Test input generation using separati logic. ACM SIGSOFT Softw. Eng. Notes 43(4): 55 (2018) - [j3]Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan
:
Automatic Data Structure Repair usingSeparation Logic. ACM SIGSOFT Softw. Eng. Notes 43(4): 66 (2018) - 2015
- [j2]Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu:
Concurrent Bounded Model Checking. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - 2012
- [j1]Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu:
Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012)
Conference and Workshop Papers
- 2023
- [c17]Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen:
The Challenges of Shift Left Static Analysis. ICSE-SEIP 2023: 340-342 - 2022
- [c16]KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan:
Analyzing the CMake Build System. ICSE (SEIP) 2022: 27-28 - 2019
- [c15]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA 2019: 209-227 - [c14]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. FM 2019: 442-461 - 2018
- [c13]Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow:
Symbolic Side-Channel Analysis for Probabilistic Programs. CSF 2018: 313-327 - [c12]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) 2018: 268-269 - 2017
- [c11]Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan:
Synthesis of Adaptive Side-Channel Attacks. CSF 2017: 328-342 - [c10]Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM 2017: 131-138 - 2016
- [c9]Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria:
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. CSF 2016: 387-400 - [c8]Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan:
String analysis for side channels with segmented oracles. SIGSOFT FSE 2016: 193-204 - 2015
- [c7]Quoc-Sang Phan, Pasquale Malacaria:
All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks. ARES 2015: 100-109 - 2014
- [c6]Quoc-Sang Phan, Pasquale Malacaria:
Abstract model counting: a novel approach for quantification of information leaks. AsiaCCS 2014: 283-292 - [c5]Quoc-Sang Phan:
Symbolic Execution as DPLL Modulo Theories. ICCSW 2014: 58-65 - [c4]Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim:
Quantifying information leaks using reliability analysis. SPIN 2014: 105-108 - 2013
- [c3]Quoc-Sang Phan:
Self-composition by Symbolic Execution. ICCSW 2013: 95-102 - 2011
- [c2]Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi:
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. FroCoS 2011: 163-178 - 2009
- [c1]Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan:
Supporting Public Administration with an Integrated BPR Environment. AFRICOM 2009: 50-59
Informal and Other Publications
- 2019
- [i5]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun:
Concolic Testing Heap-Manipulating Programs. CoRR abs/1907.05637 (2019) - 2018
- [i4]Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow:
Symbolic Side-Channel Analysis for Probabilistic Programs. IACR Cryptol. ePrint Arch. 2018: 329 (2018) - 2017
- [i3]Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. 2017: 244 (2017) - [i2]Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan:
Synthesis of Adaptive Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2017: 401 (2017) - 2015
- [i1]Quoc-Sang Phan:
Model Counting Modulo Theories. CoRR abs/1504.02796 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-11 17:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
