450 logic errors found in popular databases
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 logic errors in database systems using three different methods. They found and reported over 450 unique, previously unknown bugs.