Travelled to:1 × Austria
1 × Canada
1 × China
1 × Ireland
1 × Italy
1 × Portugal
1 × Spain
2 × Germany
2 × USA
Collaborated with:L.Chen A.Miné P.Cousot Z.Chen Z.Liu Z.Jia S.Li T.Yu X.Liao S.Li Z.Qi R.Li X.Wu Y.Zhang W.Dong T.Piccardi G.Convertino M.Zancanaro C.Archambeau J.Liu D.Kapur J.Tang Q.Lu T.Wang W.Li X.Mao Z.Chang L.Shan H.Zhu X.Liu Y.Liu
Talks about:abstract (4) linear (3) interv (3) domain (3) properti (2) analysi (2) absolut (2) detect (2) infer (2) error (2)
Person: Ji Wang
DBLP: Wang:Ji
Contributed to:
2015
2014
2014
2013
2011
2011
2011
20102009
2006
20042019
2019Wrote 13 papers:
- ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation
- Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
- CHI-2014-PiccardiCZWA #towards
- Towards crowd-based customer service: a mixed-initiative tool for managing Q&A sites (TP, GC, MZ, JW, CA), pp. 2725–2734.
- SAS-2014-ChenLMKW #abstract domain #constraints
- An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
- SAC-2013-ChenLWW #abstraction #source code #static analysis
- Static analysis of list-manipulating programs via bit-vectors and numerical abstractions (LC, RL, XW, JW), pp. 1204–1210.
- ESOP-2011-ChenMWC #analysis #linear
- Linear Absolute Value Relation Analysis (LC, AM, JW, PC), pp. 156–175.
- FM-2011-ChenLW #communication #process #refinement
- Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
- SIGIR-2011-TangLWWL #ambiguity #graph #network #social
- A bipartite graph based social network splicing method for person name disambiguation (JT, QL, TW, JW, WL), pp. 1233–1234.
- VMCAI-2010-ChenMWC #abstract domain #linear
- An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
- SAS-2009-ChenMWC #abstract domain #linear
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
- SEKE-2006-MaoCSZW #adaptation #design #modelling
- The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents (XM, ZC, LS, HZ, JW), pp. 639–644.
- ASE-2004-LiWQ #generative #testing #uml
- Property-Oriented Test Generation from UML Statecharts (SL, JW, ZCQ), pp. 122–131.
- ASE-2019-JiaLYLWLL #debugging #detection #fault #specification
- Detecting Error-Handling Bugs without Error Specification Input (ZJ, SL, TY, XL, JW, XL, YL), pp. 213–225.
- ESEC-FSE-2019-JiaLYLW #automation #detection
- Automatically detecting missing cleanup for ungraceful exits (ZJ, SL, TY, XL, JW), pp. 751–762.