共 50 条
- [41] Design and Application of Real-time Embedded Software Simulation Testing Object Framework SMART MATERIALS AND INTELLIGENT SYSTEMS, PTS 1 AND 2, 2011, 143-144 : 152 - +
- [42] SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software 2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 313 - 322
- [44] THE NEED FOR SPECIFICATION AND TESTING LANGUAGES JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1988, 1 (02): : 44 - 47
- [45] Testing the Equivalence of Regular Languages ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (03): : 47 - 57
- [47] Concolic Testing for Functional Languages PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015), 2015, : 137 - 148
- [48] Testing theories for asynchronous languages FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 90 - 101
- [49] Design and Research on Real-Time Interface Management Framework of the General Embedded Testing System for Model Driven Testing HIGH PERFORMANCE NETWORKING, COMPUTING, AND COMMUNICATION SYSTEMS, 2011, 163 : 359 - 365