共 50 条
- [41] Fast functional test generation using an SDL model TESTING OF COMMUNICATING SYSTEMS: METHODS AND APPLICATIONS, 1999, 21 : 299 - 315
- [42] Test generation for Intelligent Networks using model checking TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 384 - 398
- [43] Model Learning and Test Generation Using Cover Automata COMPUTER JOURNAL, 2015, 58 (05): : 1140 - 1159
- [44] On the Role of Early Architectural Assumptions in Quality Attribute Scenarios A Qualitative and Quantitative Study 2015 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON THE TWIN PEAKS OF REQUIREMENTS AND ARCHITECTURE (TWINPEAKS), 2015, : 9 - 15
- [46] Combining algebraic and model-based test case generation THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 250 - 264
- [47] Event Handler Tree Model for GUI Test Case Generation PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2, 2016, : 58 - 63
- [48] Model-Based Test Case Generation for Web Applications COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, 2014, 8584 : 248 - 262
- [49] Distributed on-the-fly model checking and test case generation MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 126 - 145
- [50] An Evaluation of Model Checkers for Specification Based Test Case Generation SECOND INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION, PROCEEDINGS, 2009, : 41 - +