共 30 条
- [21] Model-based testing of software for automation systems using heuristics and coverage criterion [J]. Software & Systems Modeling, 2019, 18 : 797 - 823
- [23] A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems [J]. CMC-COMPUTERS MATERIALS & CONTINUA, 2023, 74 (02): : 4501 - 4530
- [24] Model-based Software Product Line Testing by Coupling Feature Models with Hierarchical Markov Chain Usage Models [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2016), 2016, : 278 - 283
- [27] Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems [J]. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 355 - 364
- [28] 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
- [30] Data Quality Model-based Testing of Information Systems: the Use-case of E-scooters [J]. 2020 7TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS: SYSTEMS, MANAGEMENT AND SECURITY (IOTSMS), 2020,