Feature Location for Multi-Layer System Based on Formal Concept Analysis | IEEE Conference Publication | IEEE Xplore