JAxT and JDI: the simplicity of junit applied to axioms and data invariants.

Magne Haveraaen, Karl Trygve Kalleberg

Browse the full OOPSLA paper archive.