4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.SE2021
MLCheck- Property-Driven Testing of Machine Learning Models
Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo +1
In recent years, we observe an increasing amount of software with machine learning components being deployed. This poses the question of quality assurance for such components: how…
cs.LG2020★ 4 cited
Testing Monotonicity of Machine Learning Models
Arnab Sharma, Heike Wehrheim
Today, machine learning (ML) models are increasingly applied in decision making. This induces an urgent need for quality assurance of ML models with respect to (often domain-depend…
cs.NI2018
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
Stefan Schneider, Arnab Sharma, Holger Karl +1
For optimal placement and orchestration of network services, it is crucial that their structure and semantics are specified clearly and comprehensively and are available to an orch…