SAT4BSC: a static analysis tool for BPEL source codes
暂无分享,去创建一个
[1] Wei Sun,et al. A Graph-Search Based Approach to BPEL4WS Test Generation , 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).
[2] Abdul Azim Abdul Ghani,et al. An Ensemble of Complexity Metrics for BPEL Web Processes , 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.
[3] Jorge S. Cardoso,et al. Complexity analysis of BPEL Web processes , 2007, Softw. Process. Improv. Pract..
[4] Richard N. Taylor,et al. Structural Testing of Concurrent Programs , 1992, IEEE Trans. Software Eng..
[5] Gottfried Wilhelm,et al. Design and Implementation of a Framework for Testing BPEL Compositions , 2006 .
[6] Jorge S. Cardoso,et al. Process control-flow complexity metric: An empirical validation , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).
[7] Xiang Fu,et al. An Analysis Tool for Execution of BPEL Services , 2007, The 9th IEEE International Conference on E-Commerce Technology and The 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (CEC-EEE 2007).
[8] Abdul Azim Abdul Ghani,et al. AJcFgraph - AspectJ Control Flow Graph Builder for Aspect-Oriented Software , 2008, ICSC 2008.
[9] Wil M. P. van der Aalst,et al. WofBPEL: A Tool for Automated Analysis of BPEL Processes , 2005, ICSOC.
[10] Chao Cai,et al. Tool Support for BPEL Verification in ActiveBPEL Engine , 2007, 2007 Australian Software Engineering Conference (ASWEC'07).
[11] Jan Mendling,et al. A Discourse on Complexity of Process Models , 2006, Business Process Management Workshops.
[12] Yaron Goland,et al. Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.
[13] Jorge Cardoso,et al. Control-flow Complexity Measurement of Processes and Weyuker's Properties , 2007 .