Using Model Learning for the Generation of Mock Components

von Salva, Sebastien
Veröffentlicht in ICTSS (32. : 2020 : Online) Testing software and systems (2020)

MLCA: A Model-Learning-Checking Approach for IoT Systems

von Salva, Sébastien
Veröffentlicht in ICSOFT (15. : 2020 : Online) Software Technologies (2021)

CkTail: Model Learning of Communicating Systems

von Salva, Sébastien
Veröffentlicht in ENASE (15. : 2020 : Online) ENASE 2020 (2020)

Verifying the Application of Security Measures in IoT Software Systems with Model Learning

von Salva, Sébastien
Veröffentlicht in ICSOFT (15. : 2020 : Online) ICSOFT 2020 (2020)

Conversation Extraction from Event Logs

von Salva, Sébastien
Veröffentlicht in KDIR (13. : 2021 : Online) IC3K 2021 ; Volume 1: KDIR (2021)