Konrad Fögen, Horst Lichter. Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 110-117, IEEE, 2019. [doi]
Abstract is missing.