IIIT-Hyderabad researchers are developing an automated system to detect bugs in AI-generated and concurrent software code. The project focuses on ensuring “correctness by construction” and aims to identify errors early using advanced testing techniques
