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

Testing and instrumenting software are among the foremost techniques for ensuring software reliability. We present ongoing work on two Eclipse extensions that try to make the use of axioms and data invariants as convenient a part of the development process as unit tests.