Terminator: Enabling Efficient Fuzzing of Closed-Source GUI Programs by Automatic Coverage-Guided Termination. - Jonas Zabel; Philip Kolvenbach; Steven Arzt (ASE, 2025)