BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wang:Ji

Contributed to:

ICSE 20152015
CHI 20142014
SAS 20142014
SAC 20132013
ESOP 20112011
FM 20112011
SIGIR 20112011
VMCAI 20102010
SAS 20092009
SEKE 20062006
ASE 20042004
ASE 20192019
ESEC/FSE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.