An AUTOSAR-Specific Static Testing Strategy for Educational Automotive Software Engineering | IEEE Conference Publication | IEEE Xplore