Courts would be the debuggers/testers. And their findings would need to be integrated into the legal code as they happen.