Mjeda, AnilaHinchey, Mike2025-07-312025-07-3120132nd International Workshop on Critical Automotive Applications: Robustness and Safety (CARS) co-located with International Conference on Computer Safety, Reliability and Security Conference (SAFECOMP2013);https://researchrepository.ul.ie/handle/10344/3302https://doi.org/10.34961/503peer-reviewedWe propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular focus on the specification-based control logic of the system under test and offers improvements in testing coverage metrics over a classic method which is routinely used in industry. The proposed method targets the Modified Condition/ Decision Coverage (MC/DC) objective for automotive safety-critical software. CTMCONTROL is validated via a controlled experiment which highlights the higher structural coverage delivered by the new approach. The method is implemented in the popular Matlab/Simulink/Stateflow (M/S/S) environment.enhttps://creativecommons.org/licenses/by-nc-sa/1.0/automotive safety-critical softwaretestingMC/DCISO 26262AUTOSARMeetings and Proceedingshttp://conf.laas.fr/SAFECOMP2013/