Characterising Faults in Aspect-Oriented Programs: Towards Filling the Gap Between Theory and Practice | IEEE Conference Publication | IEEE Xplore