We are Sudo Su, a team that makes some tools help coding become easier and more efficient
ImpactProof proves what a code change could break by combining deterministic impact analysis and execution-based verification, with IBM Bob helping explain regressions and propose fixes.