But reliability seems to be suffering as a result. Now, ETH computer scientists have developed a tool to automatically detect logic errors in database systems using three different methods. They found ...