CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation. - Sebastian Ruland; Malte Lochau; Oliver Fehse; Andy Schürr (Int. J. Softw. Tools Technol. Transf., 2021)