共 50 条
- [21] Model Learning and Test Generation Using Cover Automata COMPUTER JOURNAL, 2015, 58 (05): : 1140 - 1159
- [23] On the Evaluation of Software Maintainability Using Automatic Test Case Generation 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2014, : 300 - 305
- [24] Systematic Evaluation of Model Comparison Algorithms using Model Generation JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (02):
- [25] A formative evaluation of a tutor for scatterplot generation: evidence on difficulty factors ARTIFICIAL INTELLIGENCE IN EDUCATION: SHAPING THE FUTURE OF LEARNING THROUGH INTELLIGENT TECHNOLOGIES, 2003, 97 : 107 - 114
- [26] Scaling Model Checking for Test Generation using Dynamic Inference 2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2013), 2013, : 184 - 191
- [27] USING A GROUP TEST TO IDENTIFY TYPES OF READING DIFFICULTY ELEMENTARY SCHOOL JOURNAL, 1932, 32 (09): : 666 - 675
- [28] Using the NuSMV Model Checker for Test Generation from Statecharts IEEE 15TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2009, : 37 - 42
- [29] Test generation from P systems using model checking JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (06): : 350 - 362
- [30] ISTQB TEST PROCESS EVALUATION BY USING TMMI MODEL 2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 1, 2012, : 215 - 219