共 50 条
- [31] On Combining Model-Based Analysis and Testing PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, : 260 - 266
- [32] A Model-Based Design and Testing Approach for Orion GN&C Flight Software Development 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [33] Model-based software component testing: A UML-based approach 6TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, PROCEEDINGS, 2007, : 891 - +
- [36] Model-Based Analysis for Safety Critical Software COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 111 - 120
- [37] Model-based Design for Real-time Software INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (08): : 91 - 95
- [38] MCLUST: Software for Model-Based Cluster Analysis Journal of Classification, 1999, 16 : 297 - 306
- [39] 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,
- [40] Visualization and Abstractions for Execution Paths in Model-Based Software Testing INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 474 - 492