共 50 条
- [34] Visualization for complex large-scale systems: Issues and research agenda ASSOCIATION FOR INFORMATION SYSTEMS PROCEEDING OF THE AMERICAS CONFERENCE ON INFORMATION SYSTEMS, 1997, : 533 - 535
- [36] A Wavelet Toolkit for Visualization and Analysis of Large Data Sets in Earthquake Research pure and applied geophysics, 2004, 161 : 2215 - 2229
- [38] Generating trace-sets for model-based testing ISSRE 2007: 18TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2007, : 171 - +
- [39] Generating Complex and Faulty Test Data Through Model-Based Mutation Analysis 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
- [40] Formal verification of complex systems: model-based and data-driven methods MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 92 - 94