User-driven diverse scenario exploration in model finders

Robert Clarisó, Jordi Cabot. User-driven diverse scenario exploration in model finders. Science of Computer Programming, 215:102745, 2022. [doi]

Abstract

Abstract is missing.