Lev Sorokin

22 papers B 1Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
STELLAR: A Search-Based Testing Framework for Large Language Model Applications.
CoRR
Lev Sorokin, Ivan Vasilev, Ken E. Friedl, Andrea Stocco
2026 J jnl
Simulator ensembles for trustworthy autonomous driving systems testing.
Empir. Softw. Eng.
Lev Sorokin, Matteo Biagiola, Andrea Stocco
2025 J jnl
Automated Factual Benchmarking for In-Car Conversational Systems using Large Language Models.
CoRR
Rafael Giebisch, Ken E. Friedl, Lev Sorokin, Andrea Stocco
2025 J jnl
Benchmarking Contextual Understanding for In-Car Conversational Systems.
CoRR
Philipp Habicht, Lev Sorokin, Abdullah Saydemir, Ken E. Friedl, Andrea Stocco
2025 J jnl
Can search-based testing with pareto optimization effectively cover failure-revealing test inputs?
Empir. Softw. Eng.
Lev Sorokin, Damir Safin, Shiva Nejati
2025 J jnl
Simulator Ensembles for Trustworthy Autonomous Driving Testing.
CoRR
Lev Sorokin, Matteo Biagiola, Andrea Stocco
2024 J jnl
Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
CoRR
Lev Sorokin, Damir Safin, Shiva Nejati
2024 B conf
CyberDS: Auditable Monitoring in the Cloud.
SAFECOMP
Lev Sorokin, Ulrich Schöpp
2024 — conf
Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines.
DeepTest@ICSE
Lev Sorokin, Niklas Kerscher
2024 J jnl
Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines.
CoRR
Lev Sorokin, Niklas Kerscher
2024 — conf
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems.
ICSE Companion
Lev Sorokin, Tiziano Munaro, Damir Safin, Brian Hsuan-Cheng Liao, Adam Molin
2024 — conf
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus.
EDCC Workshops
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
2024 J jnl
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus.
CoRR
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
2023 J jnl
Monitoring Auditable Claims in the Cloud.
CoRR
Lev Sorokin, Ulrich Schöpp
2023 J jnl
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems.
CoRR
Lev Sorokin, Tiziano Munaro, Damir Safin, Brian Hsuan-Cheng Liao, Adam Molin
2023 J jnl
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
CoRR
Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
2023 J jnl
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
Inf. Softw. Technol.
Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
2022 J jnl
Towards Auditable Distributed Systems.
CoRR
Lev Sorokin
2017 — conf
Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations.
ATAED@Petri Nets/ACSD
Robert Lorenz, Johannes Metzger, Lev Sorokin
2017 J jnl
Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting.
ACM Trans. Embed. Comput. Syst.
Ferenc Bujtor, Lev Sorokin, Walter Vogler
2015 — conf
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing.
ACSD
Ferenc Bujtor, Lev Sorokin, Walter Vogler