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 ...

When developing software, we often think about the various features it will provide and how it will improve users’ efficiency. We seldom want to think about what hidden bugs the software might contain ...

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 ...

Software testing is hard. Even with the right talent in place, it doesn’t always go as planned — particularly when executed at scale. In a 2020 survey from Electric Cloud, 58% of developers blamed ...

Compiler testing and bug detection are critical research areas that ensure the reliability and correctness of software tools fundamental to modern computing. Contemporary compilers, which convert ...