A STRATEGIC APPROACH   FOR AUTOMATED SAFE COMPOSABLE MODEL TESTING FOR SAFETY CRITICAL SYSTEM. MIR [Internet]. 2024 Sep. 14 [cited 2024 Dec. 27];18(2):174-86. Available from: http://machineintelligenceresearchs.com/index.php/mir/article/view/147