Article Summary
Tracking Down Software Bugs Using Automatic Anomaly Detection
Sudheendra Hangal, and Monica S. Lam
In the Proceedings of the International Conference on Software Engineering, May, 2002.
[pdf] [gzipped ps] [summary]

Quick Summary
They developed an automatic bug detection tool, DIDUCE, that dynamically checks invariants in Java applications; they plan to reduce the overhead to perfrom online testing and couple this with recovery mechanisms.

Main Ideas