Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Mahe, Erwan; Bannour, Boutheina; Gaston, Christophe; Lapitre, Arnault; Le Gall, Pascale

Journal title: Journal of Object Technology (JOT)

Journal publisher: AiTo

Published year: 2024

DOI identifier: 10.5381/jot.2024.23.2.a2

ISSN: 1660-1769