On Enhancing Adaptive Random Testing for AADL Model | IEEE Conference Publication | IEEE Xplore