Testing preorders for dMTS: deadlock-and the new deadlock-/divergencetesting F Bujtor, L Sorokin, W Vogler ACM Transactions on Embedded Computing Systems (TECS) 16 (2), 1-28, 2016 | 10 | 2016 |
Reflections on surrogate-assisted search-based testing: A taxonomy and two replication studies based on industrial ADAS and simulink models S Nejati, L Sorokin, D Safin, F Formica, MM Mahboob, C Menghi Information and Software Technology 163, 107286, 2023 | 5 | 2023 |
Continuous engineering for trustworthy learning-enabled autonomous systems S Bensalem, P Katsaros, D Ničković, BHC Liao, RR Nolasco, ... International Conference on Bridging the Gap between AI and Reality, 256-278, 2023 | 4 | 2023 |
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems L Sorokin, T Munaro, D Safin, BHC Liao, A Molin arXiv preprint arXiv:2306.10296, 2023 | 2 | 2023 |
Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations R Lorenz, J Metzger, L Sorokin | 2 | 2017 |
Towards Compact Regions for Labeled Prime Event Structures R Bergenthum, J Metzger, L Sorokin, R Lorenz Algorithms and Tools for Petri Nets, 1, 2017 | 1 | 2017 |
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus L Sorokin, R Bouchekir, TA Beyene, BHC Liao, A Molin European Dependable Computing Conference, 49-61, 2024 | | 2024 |
Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines L Sorokin, N Kerscher arXiv preprint arXiv:2401.12364, 2024 | | 2024 |
Monitoring Auditable Claims in the Cloud L Sorokin, U Schoepp arXiv preprint arXiv:2312.12057, 2023 | | 2023 |
Towards Auditable Distributed Systems L Sorokin arXiv preprint arXiv:2209.14071, 2022 | | 2022 |
Towards compact regions for labeled prime event structures R Lorenz, J Metzger, L Sorokin, R Bergenthum | | 2017 |