Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. Journal of Object Technology, 23(2):2, 2024. [doi]
Abstract is missing.