Yitao Ni

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Business Processes

Symbolic Execution

Service Oriented

Top Venues

IEEE Trans. Serv. Comput.

Publications

Yitao Ni, Shan-Shan Hou, Lu Zhang, Jun Zhu, Zhong Jie Li, Qian Lan, Hong Mei, Jiasu Sun
Effective Message-Sequence Generation for Testing BPEL Programs. IEEE Trans. Serv. Comput. 6 (1) (2013)
Yitao Ni, Lu Zhang, Zhong Jie Li, Tao Xie, Hong Mei
Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs. IEEE SCC (2011)