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

The software development landscape is experiencing a seismic shift. Recent research I conducted reveals that artificial intelligence (AI) systems can now systematically identify and resolve complex ...

As software writes itself, Prof. Abhishek Kr Singh outlines a solution that blends deep theory with practical tools to detect ...

Google has reached a milestone in cybersecurity with the discovery of a critical 20-year-old software bug in the OpenSSL library. The discovery is part of Google’s ongoing work on OSS-Fuzz, a project ...

Concurrency bug detection is a critical area in the development of multithreaded programmes, where errors arising from simultaneous thread execution can lead to unpredictable and often catastrophic ...

Researchers from IIIT Hyderabad and IIT Hyderabad have developed an automated bug detection tool. The goal of the team is to ...

Major industries such as electric vehicles (EVs), Internet of Things (IoT), aeronautics, and railways have strict, well-established processes to ensure they can maintain high safety standards ...