@inproceedings{soueidi:hal-03911682, TITLE = {{Capturing program models with BISM}}, AUTHOR = {Soueidi, Chukri and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-03911682}, BOOKTITLE = {{SAC 2022 - 37th ACM Symposium on Applied Computing - Software Verification and Testing Track}}, ADDRESS = {Brno (Virtuel), Czech Republic}, YEAR = {2022}, MONTH = Apr, DOI = {10.1145/3477314.3507239}, KEYWORDS = {Runtime Verification Typestate Analysis Parametric Monitoring Instrumentation Java Bytecode Control Flow ; Runtime Verification ; Typestate Analysis ; Parametric Monitoring ; Instrumentation ; Java Bytecode ; Control Flow}, PDF = {https://inria.hal.science/hal-03911682/file/sac22.pdf}, HAL_ID = {hal-03911682}, HAL_VERSION = {v1}, }