2 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…