LuMiNous - model-driven assertion generation for runtime failure detection.

Mauro Pezz, Jochen Wuttke

Browse the full ICSE paper archive.