Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions | IEEE Conference Publication | IEEE Xplore