共 50 条
- [1] Adaptable Design for Root Cause Analysis of a Model-Based Software Testing Process 2015 12TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY - NEW GENERATIONS, 2015, : 379 - 384
- [2] Model-based integration testing of ROS packages: a mobile robot case study 2015 EUROPEAN CONFERENCE ON MOBILE ROBOTS (ECMR), 2015,
- [3] Integration of formal analysis into a model-based software development process FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 68 - +
- [4] Enterprise model-based software architecture with server component integration ENTERPRISE DISTRIBUTED OBJECT COMPUTING - PROCEEDINGS SECOND INTERNATIONAL WORKSHOP, 1998, : 356 - 363
- [5] Model-based Integration Testing of Enterprise Services 2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009, 2009, : 56 - +
- [7] On Combining Model-Based Analysis and Testing PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, : 260 - 266
- [8] A regime-switching approach to model-based stress testing JOURNAL OF RISK MODEL VALIDATION, 2009, 3 (04): : 89 - 101
- [9] A Process to Increase the Model Quality in the Context of Model-Based Testing 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,