Search Results - CCS Concepts Computing methodologies → Model verification and validation

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis by 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…”
Get full text

Interactively Assessing Disentanglement in GANs by 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…”
Get full text

Character navigation in dynamic environments based on optical flow by 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…”
Get full text

REFINE: realistic fault injection via compiler-based instrumentation for accuracy, portability and speed by 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…”
Get full text

Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers by 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…”
Get full text

Manifold for Machine Learning Assurance by 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…”
Get full text

Compensation analysis of subsidence angle of supersonic low-altitude cruise target projectile launch by 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…”
Get full text

DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools by 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…”
Get full text

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

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

Towards Benchmarking the Coverage of Automated Testing Tools in Android against Manual Testing by 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…”
Get full text