共 50 条
- [21] A Model-driven testing Framework Based on requirement for embedded software PROCEEDINGS OF 2016 11TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS'2016): INTEGRATING BIG DATA, IMPROVING RELIABILITY & SERVING PERSONALIZATION, 2016,
- [23] Test Framework Generation for Model-Based Testing in Embedded Systems 2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), 2011, : 267 - 274
- [25] EMBEDDED BEHAVIOR PATTERN LANGUAGES - A CONTRIBUTION TO A TAXONOMY OF CASE LANGUAGES PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B273 - B284
- [27] Testing Languages with a Languages-as-Databases Approach TESTS AND PROOFS, TAP 2023, 2023, 14066 : 108 - 126
- [28] Testing parenthesis languages APPROXIMATION, RANDOMIZATION, AND COMBINATORIAL OPTIMIZATION: ALGORITHMS AND TECHNIQUES, 2001, 2129 : 261 - 272
- [29] XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 33 - 42
- [30] Development of a framework for automated systematic testing of safety-critical embedded systems PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +