Runtime Verification of Kotlin Coroutines - Furian, Denis; Azzopardi, Shaun; Falcone, Yliès; Schneider, Gerardo; Opera Software AB Linköping; Göteborgs Universitet = University of Gothenburg (GU); Compiler Optimization and Run-time Systems (CORSE); Centre Inria de l'Université Grenoble Alpes; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG); Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP); Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP); Université Grenoble Alpes (UGA); et al. (RV 2022 - 22nd International Conference on Runtime Verification ; https://inria.hal.science/hal-03911794 ; RV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tbilisi, Georgia. pp.1-19, 2022)