Reasoning about Faults in Aspect-Oriented Programs: A Metrics-Based Evaluation | IEEE Conference Publication | IEEE Xplore