共 50 条
- [1] Evaluation Test Generation Model Using Two Intervals of Difficulty and Keywords METHODOLOGIES AND INTELLIGENT SYSTEMS FOR TECHNOLOGY ENHANCED LEARNING, 2023, 538 : 13 - 22
- [2] Evaluation Test Generator Using a List of Keywords INTELLIGENT TUTORING SYSTEMS (ITS 2021), 2021, 12677 : 481 - 489
- [3] An Intelligent Test Paper Generation Algorithm Based on Adjustment of Overall Difficulty Degrees INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY II, PTS 1-4, 2013, 411-414 : 2879 - +
- [4] Automated test generation using model checking: an industrial evaluation International Journal on Software Tools for Technology Transfer, 2016, 18 : 335 - 353
- [6] An Evaluation of Specification Based Test Generation Techniques using Model Checkers 2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009, 2009, : 72 - +
- [7] Modeling the difficulty of sequential automatic test pattern generation INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 261 - 271
- [8] Mutation of model checker specifications for test generation and evaluation MUTATION TESTING FOR THE NEW CENTURY, 2001, 24 : 14 - 20
- [9] Test Model Generation using Equivalence Partitioning 2018 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND KNOWLEDGE ENGINEERING (ICCKE), 2018, : 98 - 103