共 50 条
- [1] Integration of Root Cause Analysis into a Model-Based Testing Process of a Mobile Switching Server PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, : 305 - 309
- [2] Sketching a process for testing model-based developed software WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 7, 2005, : 31 - 36
- [3] A benchmark-based adaptable software process model PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 216 - 224
- [4] Model-Based Software Regression Testing for Software Components INFORMATION SYSTEMS, TECHNOLOGY AND MANAGEMENT-THIRD INTERNATIONAL CONFERENCE, ICISTM 2009, 2009, 31 : 138 - +
- [6] Integration of formal analysis into a model-based software development process FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 68 - +
- [7] Software assurance for model-based design 2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, : 3559 - 3564
- [8] A Model-based Testing for AADL Model of Embedded Software 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 185 - +
- [9] A Model-Based Testing Tool for Embedded Software 2012 SIXTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING (ICGEC), 2012, : 180 - 183
- [10] Model-based testing for enterprise software solutions Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 331 - 331