Automated Test Case Generation: The process of using algorithmic strategies to automatically create input data for software testing, aiming to achieve specific coverage criteria.