Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Omri, Safa"'
Autor:
Fresz, Benjamin, Göbels, Vincent Philipp, Omri, Safa, Brajovic, Danilo, Aichele, Andreas, Kutz, Janika, Neuhüttler, Jens, Huber, Marco F.
Developing and certifying safe - or so-called trustworthy - AI has become an increasingly salient issue, especially in light of upcoming regulation such as the EU AI Act. In this context, the black-box nature of machine learning models limits the use
Externí odkaz:
http://arxiv.org/abs/2408.02379
Autor:
Omri, Safa, Sinz, Carsten
Over the last years, machine learning techniques have been applied to more and more application domains, including software engineering and, especially, software quality assurance. Important application domains have been, e.g., software defect predic
Externí odkaz:
http://arxiv.org/abs/2104.14056
Publikováno v:
In Procedia Computer Science 2024 232:2009-2017
Autor:
Omri, Safa
Software applications evolve at a rapid rate because of continuous functionality extensions, changes in requirements, optimization of code, and fixes of faults. Moreover, modern software is often composed of components engineered with different progr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d5fb1da38b8d88596eaf07e19d3b72b
Symbolic execution has been applied, among others, to check programs against contract specifications or to generate path-based test suites. We propose to adapt symbolic execution to perform a probabilistic reasoning about possible executions of a pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1440ad22ca48623095ee1994c746ceb2