Autonomous vehicles offer profound societal benefits, promising increased productivity and enhanced quality of life by reducing traffic congestion and improving transportation accessibility. Ensuring the safety of autonomous vehicles is paramount, given their operation on public roads and interaction with human beings. The project aims to develop MELIOREM, an automated tool designed to enhance the safety of autonomous vehicles. By utilizing our nation's high-performance computing infrastructure, MELIOREM will conduct rigorous testing to identify and address potential safety issues before they impact public roads. This initiative ensures that autonomous vehicles are dependable and safe for all road users. Using advanced search techniques, MELIOREM will simulate various driving scenarios to assess how well these vehicles perform under different conditions, leveraging extensive computational power for complex calculations and analysis. By bolstering the safety of self-driving technology, this project not only advances transportation safety but also provides a valuable resource to academia and industry, contributing to the broader professional community. It also creates educational opportunities by training students from diverse backgrounds in higher education. Autonomous vehicles (AVs) promise vast societal benefits of increasing productivity and improving quality of life, from reducing traffic congestion to improving access to transportation. Ensuring AV safety is critical