Tanton H. Gibbs, Brian A. Malloy. Weaving Aspects into C++ Applications for Validation of Temporal Invariants. In 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 26-28 March 2003, Benevento, Italy, Proceedings. pages 249-258, IEEE Computer Society, 2003. [doi]
Abstract is missing.