Bibtex

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall, Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation

@article{JOT:issue_2024_02/article2, author = {<a href="/contents.html?query=Mahe">Erwan Mahe</a> and <a href="/contents.html?query=Bannour">Boutheina Bannour</a> and <a href="/contents.html?query=Gaston">Christophe Gaston</a> and <a href="/contents.html?query=Lapitre">Arnault Lapitre</a> and <a href="/contents.html?query=Le Gall">Pascale Le Gall</a>}, title = {Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation}, journal = {Journal of Object Technology}, volume = {23}, number = {2}, issn = {1660-1769}, year = {2024}, month = mar, editor = {}, note = {5th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2022) }, pages = {2:1-16}, doi = {10.5381/jot.2024.23.2.a2}, url = {http://www.jot.fm/contents/issue_2024_02/article2.html} }

Back