JAxT and JDI
Magne Haveraaen, Karl Trygve Kalleberg · 2008
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.