共 50 条
- [1] Testing of component-based systems [J]. 2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 300 - 305
- [2] Structural Testing of Component-Based Systems [J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 180 - 195
- [3] Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems [J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 163 - 179
- [4] Testing component-based real time systems [J]. PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 888 - +
- [6] Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software [J]. APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 479 - 486
- [7] Conformance testing of real-time component based systems [J]. ADVANCED DISTRIBUTED SYSTEMS, 2005, 3563 : 167 - 181
- [8] A Component-Based Approach for the Development of Automated Systems [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2011, 41 (05): : 1026 - 1031
- [9] INTEGRATION AND RELIABILITY TESTING FOR COMPONENT-BASED SOFTWARE SYSTEMS [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 368 - 374