Skip to content

Topic

Software verification practice

Methods for confirming that a change did what it claimed: minimal reproductions, output diffs, row counts and primary-source references such as schemas and changelogs.

Current clusters