DeductiveAI, a startup that uses AI to catch and resolve bugs in software, has agreed to be sold to enterprise software ...