共 50 条
- [22] Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model INFORMATION SYSTEMS IN THE BIG DATA ERA, 2018, 317 : 133 - 147
- [24] Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata 2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 660 - 669
- [27] Exploring and Validating a Commercial Lifestyle Survey for its use in the Analysis of Population Migration Applied Spatial Analysis and Policy, 2014, 7 : 71 - 95
- [29] Automatic Test Case Generation with State Diagram for Validating the Solar Integrated System INFORMATION SCIENCE AND APPLICATIONS 2017, ICISA 2017, 2017, 424 : 609 - 614
- [30] An Experiment Design for Validating a Test Case Generation Strategy from Requirements Models 2014 IEEE 4TH INTERNATIONAL WORKSHOP ON EMPIRICAL REQUIREMENTS ENGINEERING (EMPIRE), 2014, : 44 - 47