Database systems are under pressure to become more and more powerful. But reliability seems to be suffering as a result. Now, ETH computer scientists have developed a tool to automatically detect ...