A model-driven approach to enforce crosscutting assertion checking.

Jing Zhang, Jeff Gray, Yuehua Lin

Browse the full ICSE paper archive.