2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2024
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene +2
An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-spec…
cs.SE2024
Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines
Lev Sorokin, Niklas Kerscher
In this paper, we present NSGA-II-SVM (Non-dominated Sorting Genetic Algorithm with Support Vector Machine Guidance), a novel learnable evolutionary and search-based testing algori…
cs.SE2023★ 2 cited
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
Shiva Nejati, Lev Sorokin, Damir Safin +3
Surrogate-assisted search-based testing (SA-SBT) aims to reduce the computational time for testing compute-intensive systems. Surrogates enhance testing techniques by improving tes…