Feature-driven program understanding using concept analysis of execution traces | IEEE Conference Publication | IEEE Xplore