Automatic Test Case Generation For Safety-Critical Software Using Genetic Algorithm. - Madhusmita Das; Dhruv Pai; Buddha Teja; Biju R. Mohan (ICCCNT, 2024)