Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach | IEEE Journals & Magazine | IEEE Xplore