Sign in
Effective Message-Sequence Generation for Testing BPEL Programs.
Yitao Ni
Shan-Shan Hou
Lu Zhang
Jun Zhu
Zhong Jie Li
Qian Lan
Hong Mei
Jiasu Sun
Published in:
IEEE Trans. Serv. Comput. (2013)
Keyphrases
</>
web services
business processes
business process
service oriented
email
genetic algorithm
user interface
hidden markov models
petri net
modeling language
formal methods
business process management
symbolic execution