no code implementations • 4 Mar 2024 • Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
An assurance case has become an integral component for the certification of safety-critical systems.
1 code implementation • 22 Jan 2024 • 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 algorithm that leverages Support Vector Machine (SVM) classification models to direct the search towards failure-revealing test inputs.