@Article{Michelon2023,
  author   = {Gabriela K. Michelon and Jabier Martinez and Bruno Sotto-Mayor and Aitor Arrieta and Wesley K. G. Assunção and Rui Abreu and Alexander Egyed},
  journal  = {Journal of Systems and Software},
  title    = {Spectrum-based feature localization for families of systems},
  year     = {2023},
  issn     = {0164-1212},
  pages    = {111532},
  volume   = {195},
  abstract = {In large code bases, locating the elements that implement concrete features of a system is challenging. This information is paramount for maintenance and evolution tasks, although not always explicitly available. In this work, motivated by the needs of locating features as a first step for feature-based Software Product Line adoption, we propose a solution for improving the performance of existing approaches. For this, relying on an automatic feature localization approach to locate features in single-systems, we propose approaches to deal with feature localization in the context of families of systems, e.g., variants created through opportunistic reuse such as clone-and-own. Our feature localization approaches are built on top of Spectrum-based feature localization (SBFL) techniques, supporting both dynamic feature localization (i.e., using execution traces as input) and static feature localization (i.e., relying on the structural decomposition of the variants’ implementation). Concretely, we provide (i) a characterization of different settings for dynamic SBFL in single systems, (ii) an approach to improve accuracy of dynamic SBFL for families of systems, and (iii) an approach to use SBFL as a static feature localization technique for families of systems. The proposed approaches are evaluated using the consolidated ArgoUML SPL feature localization benchmark. The results suggest that some settings of SBFL favor precision such as using the ranking metrics Wong2, Ochiai2, or Tarantula with high threshold values, while most of the ranking metrics with low thresholds favor recall. The approach to use information from variants increase the precision of dynamic SBFL while maintaining recall even with few number of variants, namely two or three. Finally, the static SBFL approach performs equally in terms of accuracy to other state-of-the-art approaches, such as Formal Concept Analysis and Interdependent Elements.},
  doi      = {https://doi.org/10.1016/j.jss.2022.111532},
  keywords = {LIT Secure and Correct Systems Lab, FWF P31989, Pro2Future},
  url      = {https://www.sciencedirect.com/science/article/pii/S0164121222002084},
}