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: Wang:Xiaoliang
Contributed to:
2014
2011
2004Wrote 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.