共 50 条
- [31] Improvement of the Automobile Control Software Testing Process Using a Test Maturity Model [J]. JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2018, 14 (03): : 607 - 620
- [32] Using Model-Based Diagnosis to Improve Software Testing [J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 1135 - 1141
- [33] Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool [J]. COMPUTER JOURNAL, 2009, 52 (05): : 571 - 588
- [34] TestML - A test exchange language for model-based testing of embedded software [J]. MODEL-DRIVEN DEVELOPMENT OF RELIABLE AUTOMOTIVE SERVICES, 2008, 4922 : 98 - +
- [35] A Software Reliability Test Suite Generating Approach based on Hybrid Model for Complex Equipment System [J]. 2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017, : 144 - 144
- [36] Regression Testing for Component-based Software via Built-in Test Design [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1416 - 1421
- [37] Robust Optimal Design of Experiments for Model Discrimination Using an Interactive Software Tool [J]. PLOS ONE, 2013, 8 (02):
- [38] A Study on Test Automation of IVN of Intelligent Vehicle Using Model-based Testing [J]. 2013 FIFTH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN), 2013, : 123 - 128
- [39] MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, 2018, 11181 : 97 - 113
- [40] Using B machines for model-based testing of smartcard software [J]. B 2007: FORMAL SPECIFICATION AND DEVELOPMENT IN B, PROCEEDINGS, 2007, 4355 : 2 - 2