2 citations · 4 across the 5 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.SE2023
Monitoring Auditable Claims in the Cloud
Lev Sorokin, Ulrich Schoepp
When deploying mission-critical systems in the cloud, where deviations may have severe consequences, the assurance of critical decisions becomes essential. Typical cloud systems ar…
cs.SE2023★ 2 cited
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
Lev Sorokin, Tiziano Munaro, Damir Safin +2
Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly…
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…