共 50 条
- [31] A BPEL-based service-oriented dynamic collaborative mechanism for distributed product design INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2011, 52 (1-4): : 33 - 44
- [32] A BPEL-based service-oriented dynamic collaborative mechanism for distributed product design The International Journal of Advanced Manufacturing Technology, 2011, 52 : 33 - 44
- [34] A Model-based Test Case Generation Method for Function Testing of Train Control Systems 2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 334 - 346
- [35] Generating Effective Test Sequences for BPEL Testing 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 331 - 340
- [36] Reliability Modeling and Verification of BPEL-Based Web Services Composition by Probabilistic Model Checking 2016 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS (SERA), 2016, : 149 - 154
- [37] A method for model based test harness generation for component testing J. Braz. Comput. Soc., 2008, 1 (7-23):
- [38] A Framework for Genetic Test-Case Generation for WS-BPEL Compositions TESTING SOFTWARE AND SYSTEMS (ICTSS 2014), 2014, 8763 : 1 - 16
- [39] Test case generation for WS-BPEL from a static call graph 2018 11TH INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING, 2019, 1195
- [40] Automatic Test Case Generation and Optimization Based on Mutation Testing 2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 522 - 523