Software developers are spending about the half of their time detecting errors and resolving them. Projected onto the global software industry, this would amount to a bill of about 312 billion US dollars every year. Researchers are now automating the process.