Aspect mining through the formal concept analysis of execution traces | IEEE Conference Publication | IEEE Xplore