共 50 条
- [41] Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2010, 217 : 383 - 397
- [43] Automatic Generation of Object Usage Specifications from Large Method Traces 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 371 - 382
- [45] Automatic generation of protocol converters from scenario-based specifications 25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2004, : 447 - 458
- [46] AUTOMATIC-GENERATION OF TEST SCRIPTS FROM FORMAL TEST SPECIFICATIONS PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 210 - 218
- [47] Automatic test generation from semi-formal specifications for functional verification of System-on-Chip designs 2008 2ND ANNUAL IEEE SYSTEMS CONFERENCE, 2008, : 260 - +
- [48] Enabling or disabling with old specifications - A new information system based on old specifications ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 483 - 488
- [49] Automatic Generation of IoT Device Platforms With AutoLink IEEE INTERNET OF THINGS JOURNAL, 2021, 8 (07): : 5893 - 5903