@inproceedings{8264ab521b414352882197ec7fce3be6,
title = "Testing BPEL with Stream X-machine",
abstract = "to generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the BPEL process under test (PUT) and verification conditions for output data from the PUT. It could be a tedious task due to the complexity of the PUT which describes the web flow of a distributed collaboration of individual service providers executing concurrently. This paper shows how Stream X-machine based testing techniques could be applied to automatically generate test cases for BPEL process.",
keywords = "BPEL, Stream X-machine, Test case",
author = "Chunyan Ma and Junsheng Wu and Tao Zhang and Yunpeng Zhang and Xiaobin Cai",
year = "2008",
doi = "10.1109/ISISE.2008.201",
language = "英语",
isbn = "9780769534947",
series = "2008 International Symposium on Information Science and Engineering, ISISE 2008",
pages = "578--582",
booktitle = "2008 International Symposium on Information Science and Engineering, ISISE 2008",
note = "2008 International Symposium on Information Science and Engineering, ISISE 2008 ; Conference date: 20-12-2008 Through 22-12-2008",
}