BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × China
Collaborated with:
Z.Guan F.Büttner Y.Lamo J.Zhang C.Xu
Talks about:
oper (2) base (2) use (2) constraint (1) transform (1) techniqu (1) research (1) telecom (1) process (1) generat (1)

Person: Xiaoliang Wang

DBLP DBLP: Wang:Xiaoliang

Contributed to:

GT-VMT 20142014
ICEIS v4 20112011
SEFM 20042004

Wrote 3 papers:

GT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification
Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICEIS-v4-2011-WangG #game studies #integration #research
Research on the Operational Integration Processing of Telecom Operators based on Game Theory (XW, ZG), pp. 444–448.
SEFM-2004-ZhangXW #constraints #execution #generative #symbolic computation #testing #theorem proving #using
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.

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.