IIIT-Hyderabad researchers are developing an automated system to detect bugs in AI-generated and concurrent software code.