共 50 条
- [1] Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2012, 5 (01): : 209 - 213
- [4] Testing AUTOSAR software with QuickCheck 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
- [8] Development of Battery Management Unit Driver Based on AUTOSAR 2017 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA 2017), 2017, : 199 - 202
- [9] Modelling of Autosar Libraries for Large Scale Testing ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (244): : 184 - 199
- [10] TESTING AUTOSAR BASIC SOFTWARE MODULES WITH QUICKCHECK ADVANCED MATHEMATICAL AND COMPUTATIONAL TOOLS IN METROLOGY AND TESTING IX, 2012, 84 : 391 - 395