Travelled to:1 × Austria
1 × Canada
1 × Denmark
1 × Hungary
1 × India
2 × United Kingdom
3 × Germany
3 × Italy
4 × USA
Collaborated with:C.Wang A.Gupta P.Ashar F.Ivancic L.Cheng M.K.Ganai Y.Cai Y.C.0001 S.Guo Q.Yi J.Liu C.Zhao R.Alur M.McDougall C.W.0001 Y.Guo Q.Zheng T.Liu D.Lee M.Said S.Narayanasamy Q.Chen L.Wang S.D.Stoller V.Kahlon A.Gupta J.Chang M.Kusano K.Fisler R.Fraer G.Kamhi M.Y.Vardi Z.Tian M.Fan X.Zhang B.Al-Rawi K.A.Sakallah X.Huang S.A.Smolka R.Grosu I.Shlyakhter R.Meng B.Zhu H.Yun H.Li H.Wang X.Guan X.Li L.Yu
Talks about:detect (6) softwar (5) test (5) symbol (4) analysi (3) reduct (3) execut (3) comput (3) model (3) dynam (3)
Person: Zijiang Yang
DBLP: Yang:Zijiang
Contributed to:
2015
2015
2015
2014
2014
2011
2009
2009
2008
2007
200620052003
2003200220012001
2016201720172019Wrote 22 papers:
- ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread
- Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
- ICSE-v1-2015-YiYLZW #analysis #testing
- A Synergistic Analysis Method for Explaining Failed Regression Tests (QY, ZY, JL, CZ, CW), pp. 257–267.
- ICST-2015-YiYGWLZ #execution #symbolic computation
- Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
- ICPC-2014-TianZLFZY #detection #parallel #thread
- Plagiarism detection for multithreaded software based on thread-aware software birthmarks (ZT, QZ, TL, MF, XZ, ZY), pp. 304–313.
- SEKE-2014-WangGZLLYY #testing
- Reducing Test Cases with Causality Partitions (HW, XG, QZ, TL, XL, LY, ZY), pp. 223–228.
- HPCA-2011-LeeSNY #analysis #order
- Offline symbolic analysis to infer Total Store Order (DL, MS, SN, ZY), pp. 357–358.
- FASE-2009-ChenWYS #detection #named #static analysis
- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.
- IFM-2009-YangASHSG #model checking #reduction
- Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.
- TACAS-2008-WangYKG #partial order #reduction
- Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
- CAV-2007-WangYGI #precise #reachability #using
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (CW, ZY, AG, FI), pp. 352–365.
- DATE-2006-WangYIG #embedded #image #verification
- Disjunctive image computation for embedded software verification (CW, ZY, FI, AG), pp. 1205–1210.
- CAV-2005-IvancicYGGSA #framework #named #platform #verification
- F-Soft: Software Verification Platform (FI, ZY, MKG, AG, IS, PA), pp. 301–306.
- CAV-2003-GuptaGWYA #abstraction #satisfiability
- Abstraction and BDDs Complement SAT-Based BMC in DiVer (AG, MKG, CW, ZY, PA), pp. 206–209.
- DAC-2003-GuptaGWYA #bound #learning #model checking #satisfiability
- Learning from BDDs in SAT-based bounded model checking (AG, MKG, CW, ZY, PA), pp. 824–829.
- CAV-2002-AlurMY #behaviour #model checking #performance
- Exploiting Behavioral Hierarchy for Efficient Model Checking (RA, MM, ZY), pp. 338–342.
- DAC-2001-GuptaGYA #detection #image #satisfiability
- Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation (AG, AG, ZY, PA), pp. 536–541.
- TACAS-2001-FislerFVY #algorithm #detection #question
- Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.
- ASE-2016-CaiY #probability #testing
- Radius aware probabilistic testing of deadlocks with guarantees (YC, ZY), pp. 356–367.
- ASE-2016-ChengCYW #as a service #named #testing #user interface
- GUICat: GUI testing as a service (LC, JC, ZY, CW), pp. 858–863.
- ASE-2017-ChengYW #reduction #sequence #testing #user interface
- Systematic reduction of GUI test sequences (LC, ZY, CW0), pp. 849–860.
- ESEC-FSE-2017-GuoCY #concurrent #detection #execution #named #thread
- AtexRace: across thread and execution sampling for in-house race detection (YG, YC0, ZY), pp. 315–325.
- ASE-2019-MengZYL0Y #concurrent #detection #effectiveness #named
- CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities (RM, BZ, HY, HL, YC0, ZY), pp. 1154–1157.