Evaluating AI reasoning and prompt engineering in automated test case generation: A comparative study of GPT-4o, O1 models, and human QA. - Muhammad Azlaan Zubair; Wided Bouchelligua; Sufyan Danish; Shabir Ahmad; Amel Ksibi (Appl. Soft Comput., 2026)