Suchergebnisse - CCS Concepts Computing methodologies → Model verification and validation

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis von Yan, Xinyuan, Xuan, Xiwei, Ono, Jorge Piazentin, Guo, Jiajing, Mohanty, Vikram, Kumar, Shekar Arvind, Gou, Liang, Wang, Bei, Ren, Liu

“… Despite its popularity and effectiveness, data slicing for vision model validation faces several challenges …”
Volltext

Interactively Assessing Disentanglement in GANs von Jeong, Sangwon, Liu, Shusen, Berger, Matthew

“… Generative adversarial networks (GAN) have witnessed tremendous growth in recent years, demonstrating wide applicability in many domains. However, GANs remain …”
Volltext

Character navigation in dynamic environments based on optical flow von López, Axel, Chaumette, François, Marchand, Eric, Pettré, Julien

“… In this work, we propose a synthetic vision model that uses visual features to steer agents through dynamic environments …”
Volltext

REFINE: realistic fault injection via compiler-based instrumentation for accuracy, portability and speed von Georgakoudis, Giorgis, Laguna, Ignacio, Nikolopoulos, Dimitrios S., Schulz, Martin

“… Compiler-based fault injection (FI) has become a popular technique for resilience studies to understand the impact of soft errors in supercomputing systems …”
Volltext

Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers von Tufano, Michele, Drain, Dawn, Svyatkovskiy, Alexey, Sundaresan, Neel

“… Our approach is based on a state-of-the-art transformer model initially pretrained on an English textual corpus …”
Volltext

Manifold for Machine Learning Assurance von Byun, Taejoon, Rayadurgam, Sanjai

“… The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assurance principles …”
Volltext

Compensation analysis of subsidence angle of supersonic low-altitude cruise target projectile launch von Guo, Hongli, Ren, Shaofeng, Yan, Huaiqiang, Zhao, Hongtao, Wei, Chunshuang, Gao, Yun

“… Aiming at the launching process of the supersonic barrel-type spinning target projectile, and improving the control accuracy of the open-loop controlled target …”
Volltext

DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools von Liao, Chunhua, Lin, Pei-Hung, Asplund, Joshua, Schordan, Markus, Karlin, Ian

“… We focus on data race detection in programs written in OpenMP, the popular parallel programming model for multi-threaded applications …”
Volltext

A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software von de Santiago Junior, Valdivino Alexandre

“… ) with up to 161layers, playing the role of test oracle procedures for testing scientific models …”
Volltext

Towards Benchmarking the Coverage of Automated Testing Tools in Android against Manual Testing von Thung, Ferdian, Irsan, Ivana Clairine, Liu, Jiakun, Lo, David

“… A lot of testing methodologies are employed such as model-based testing, search-based testing, random testing, fuzzing, concolic execution, and mutation …”
Volltext