References

Aalst, V.D. and C. Stahl, 1999. Modeling Business Processes-A Petri Net-Oriented Approach. MIT Press, Cambridge, Massachusetts, USA.,.

Ammann, P. and J. Offutt, 2008. Introduction to Software Testing. Cambridge University Press, Cambridge, UK., ISBN:978-0-521-88038-1, Pages: 322.

Anonymous, 2008. Web services business process execution language version 2.0. Oasis Publishing, Clovis, California. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf

Bernot, G., M.C. Gaudel and B. Marre, 1991. Software testing based on formal specifications: A theory and a tool. Software Eng. J., 6: 387-405.
CrossRef  |  Direct Link  |  

Cai, L., J. Zhang and Z. Liu, 2011. A CPN-based software testing approach. J. Software, 6: 468-474.
Direct Link  |  

Dong, W.L., H. Yu and Y.B. Zhang, 2006. Testing BPEL-based web service composition using high-level petri nets. Proceedings of the 2006 10th IEEE International Conference on Enterprise Distributed Object Computing (EDOC'06), October 16-20, 2006, IEEE, Hong Kong, China, ISBN:0-7695-2558-X, pp: 441-444.

Farooq, U., C.P. Lam and H. Li, 2008. Towards automated test sequence generation. Proceedings of the 19th Australian Conference on Software Engineering, March 26-28, IEEE Computer Society, Washington, USA., pp: 441-450.

Hierons, R.M., K. Bogdanov, J.P. Bowen, R. Cleaveland and J. Derrick et al., 2009. Using formal specifications to support testing. ACM. Comput. Surv., 41: 1-76.
CrossRef  |  Direct Link  |  

Jahan, H., S. Rao and D. Liu, 2016. Test case generation for BPEL-based web service composition using Colored Petri Nets. Proceedings of the 2016 International Conference on Progress in Informatics and Computing (PIC), December 23-25, 2016, IEEE, Shanghai, China, ISBN:978-1-5090-3485-7, pp: 623-628.

Jensen, K. and L.M. Kristensen, 2009. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Berlin, Germany, ISBN:978-3-642-00283-0, Pages: 384.

Jensen, K., 1996. Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Springer, Berlin, Germany,.

Kang, H., X. Yang and S. Yuan, 2007. Modeling and verification of web services composition based on CPN. Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007), September 18-21, 2007, IEEE, Liaoning, China, ISBN:0-7695-2943-7, pp: 613-617.

Liu, J., X. Ye and J. Li, 2011. Colored Petri nets model based conformance test generation. Proceedings of the IEEE 2011 International Symposium on Computers and Communications (ISCC), June 28- July 1, 2011, IEEE Kerkyra, Greece, ISBN:978-1-4577-0680-6, pp: 967-970.

Liu, S.Y. and S. Nakajima, 2011. A framework for automatic functional testing based on formal specifications. Proceedings of the 6th International Workshop on Automation of Software Test, May 21-28, 2011, Honolulu, HI, USA., pp: 107-108.

Miller, K.W., L.J. Morell, R.E. Noonan, S.K. Park, D.M. Nikol, B.W. Murrill and J.M. Voas, 1992. Estimating the probability of failure when testing reveals no failures. IEEE Trans. Software Eng., 18: 33-43.
Direct Link  |  

Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE., 77: 541-580.
CrossRef  |  Direct Link  |  

Myers, G.J., 2004. The Art of Software Testing. 2nd Edn., John Wiley & Sons, ‎Hoboken, New Jersey, USA., ISBN:0-471-46912-2, Pages: 234.

Ni, Y., S.S. Hou, L. Zhang, J. Zhu and Z.J. Li et al., 2013. Effective message-sequence generation for testing BPEL programs. IEEE. Trans. Serv. Comput., 6: 7-19.
CrossRef  |  Direct Link  |  

Offutt, J., 2003. Generating test data from state-based specifications. Software Test. Verificat. Reliabil., 13: 25-53.

Rao, S., H. Jahan and D. Liu, 2016. A search-based approach for test suite generation from extended finite state machines. Proceedings of the 2016 International Conference on Progress in Informatics and Computing (PIC), December 23-25, 2016, IEEE, Shanghai, China, ISBN:978-1-5090-3485-7, pp: 82-87.

Ratzer, A.V., L. Wells, H.M. Lassen, M. Laursen and J.F. Qvortrup et al., 2003. CPN tools for editing, simulating and analysing coloured Petri nets. Proceedings of the International Conference on Applications and Theory of Petri Nets and Concurrency, June 23-27, 2003, Springer, Berlin, Heidelberg, Germany, ISBN:978-3-540-40334-0, pp: 450-462.

Reza, H. and S.D. Kerlin, 2011. A model-based testing using scenarios and constraints-based modular petri nets. Proceedings of the 2011 8th International Conference on Information Technology: New Generations, April 11-13, 2011, IEEE, Las Vegas, Nevada, ISBN:978-1-61284-427-5, pp: 568-573.

Schmidt, K., 2000. Lola a low level analyser. Proceedings of the International Conference on Application and Theory of Petri Nets, June 26-30, 2000, Springer, Berlin, Heidelberg, Germany, ISBN:978-3-540-67693-5, pp: 465-474.

Stocks, P. and D. Carrington, 1996. A framework for specification-based testing. IEEE. Trans. Software Eng., 22: 777-793.
Direct Link  |  

Wang, Y. and N. Yang, 2014. Test case generation of web service composition based on CP-nets. J. Software, 9: 589-596.
CrossRef  |  Direct Link  |  

Watanabe, H. and T. Kudoh, 1995. Test suite generation methods for concurrent systems based on coloured Petri nets. Proceedings of the 1995 Asia Pacific Conference on Software Engineering, December 6-9, 1995, IEEE, Brisbane, Australia, ISBN:0-8186-7171-8, pp: 242-251.

Xu, D., W. Xu, M. Kent, L. Thomas and L. Wang, 2015. An automated test generation technique for software quality assurance. IEEE. Trans. Reliab., 64: 247-268.
CrossRef  |  Direct Link  |  

Yan, J., Z. Li, Y. Yuan, W. Sun and J. Zhang, 2006. BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. Proceedings of the 2006 17th International Symposium on Software Reliability Engineering, November 7-10, 2006, IEEE, Raleigh, North Carolina, USA., pp: 75-84.

Yang, Y., Q. Tan and Y. Xiao, 2005. Verifying web services composition based on hierarchical colored petri nets. Proceedings of the 1st International Workshop on Interoperability of Heterogeneous Information Systems (IHIS '05), November 04, 2005, ACM, New York, USA., pp: 47-54.

Yang, Y., Q. Tan, J. Yu and F. Liu, 2005. Transformation BPEL to CP-nets for verifying web services composition. Proceedings of the International Conference on Next Generation Web Services Practices (NWeSP'05), August 22-26, 2005, IEEE, Seoul, South Korea, ISBN:0-7695-2452-4, pp: 6-6.

Yi, X. and K.J. Kochut, 2004. A CP-nets-based design and verification framework for web services composition. Proceedings of the IEEE International Conference on Web Services, July 9, 2004, IEEE, San Diego, California, ISBN:0-7695-2167-3, pp: 756-760.

Yuan, Y., Z. Li and W. Sun, 2006. A graph-search based approach to BPEL4WS test generation. Proceedings of the 2006 International Conference on Software Engineering Advances (ICSEA'06), October 29- November 3, 2006, IEEE, Tahiti, French Polynesia, ISBN:0-7695-2703-5, pp: 14-14.

Zhu, H. and X. He, 2002. A methodology of testing high-level Petri nets. Inf. Software Technol., 44: 473-489.
Direct Link  |