Výsledky vyhľadávania - "Software and its engineering → Software testing and debugging"

Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study Autor Lin, Jun-Wei, Salehnamadi, Navid, Malek, Sam

“…Automated testing of mobile apps has received significant attention in recent years from researchers and practitioners alike. In this paper, we report on the…”
Získať plný text

ARCHIE: A User-Focused Framework for Testing Augmented Reality Applications in the Wild Autor Lehman, Sarah M., Ling, Haibin, Tan, Chiu C.

“…In this paper, we present ARCHIE, a framework for testing augmented reality applications in the wild. ARCHIE collects user feedback and system state data in…”
Získať plný text

Learning-based Widget Matching for Migrating GUI Test Cases Autor Zhang, Yakun, Zhang, Wenjie, Ran, Dezhi, Zhu, Qihao, Dou, Chengfeng, Hao, Dan, Xie, Tao, Zhang, Lu

“…GUI test case migration is to migrate GUI test cases from a source app to a target app. The key of test case migration is widget matching. Recently,…”
Získať plný text

Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation Autor Liang, Jie, Wu, Zhiyong, Fu, Jingzhou, Wang, Mingzhe, Sun, Chengnian, Jiang, Yu

“…Testing database management systems (DBMSs) is a complex task. Traditional approaches, such as metamorphic testing, need a precise comprehension of the SQL…”
Získať plný text

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm Autor Gerten, Michael C., Lathrop, James I., Cohen, Myra B., Klinge, Titus H.

“…In recent years the use of non-traditional computing mechanisms has grown rapidly. One paradigm uses chemical reaction networks (CRNs) to compute via chemical…”
Získať plný text

EvoKex at the SBFT 2024 Java Tool Competition Autor Sadykov, Rustam, Abdullin, Azat, Akhin, Marat

“…EvoKex is a test generation tool for Java that seamlessly integrates genetic testing from EvoSuite and concolic analysis from Kex. This integration is achieved…”
Získať plný text

Kex at the SBFT 2024 Java Tool Competition Autor Abdullin, Azat, Akhin, Marat

“…Kex is a platform for analysis of JVM programs which mainly focuses on automatic test generation with the aim to maximize branch coverage criterion. Kex takes…”
Získať plný text

Generator-based Fuzzing with Input Features Autor Kraus, Roman, Nguyen, Hoang Lam, Schneider, Martin A.

“…Generator-based fuzzing is a capable technique for testing semantic processing stages of a system under test (SUT). The idea is to use format-specific input…”
Získať plný text

TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track Autor Tang, Shuncheng, Zhang, Zhenya, Cetinkaya, Ahmet, Arcaini, Paolo

“…TUMB is a generator of scenarios for UAV testing, that participated in the UAV Testing Competition at SBFT 2024. TUMB relies on Monte Carlo Tree Search (MCTS)…”
Získať plný text

Fastbot: A Multi-Agent Model-Based Test Generation System : Beijing Bytedance Network Technology Co., Ltd Autor Cai, Tianqin, Zhang, Zhao, Yang, Ping

“…Model-based test (MBT) generation techniques for automated GUI testing are of great value for app testing. Existing GUI model-based testing tools may fall into…”
Získať plný text

GIFdroid: An Automated Light-weight Tool for Replaying Visual Bug Reports Autor Feng, Sidong, Chen, Chunyang

“…Bug reports are vital for software maintenance that allow users to inform developers of the problems encountered while using software. However, it is difficult…”
Získať plný text

More is Not Always Better: Exploring Early Repair of DNNs Autor Mancu, Andrei, Laurent, Thomas, Rieger, Franz, Arcaini, Paolo, Ishikawa, Fuyuki, Rueckert, Daniel

“…DNN repair is an effective technique applied after training to enhance the class-specific accuracy of classifier models, where a low failure rate is required…”
Získať plný text

Testing Apps With Real-World Inputs Autor Wanwarang, Tanapuch, Borges, Nataniel P., Bettscheider, Leon, Zeller, Andreas

“…To test mobile apps, one requires realistic and coherent test inputs. The Link approach for Web testing has shown that knowledge bases such as DBPedia can be a…”
Získať plný text

A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code Autor Jhoo, Ho Young, Kim, Sehoon, Song, Woosung, Park, Kyuyeon, Lee, DongKwon, Yi, Kwangkeun

“…We present an automatic static analyzer PyTea that detects tensorshape errors in PyTorch code. The tensor-shape error is critical in the deep neural net code;…”
Získať plný text

gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects Autor Liang, Yunkai, Lin, Yun, Song, Xuezhi, Sun, Jun, Feng, Zhiyong, Dong, Jin Song

“…The development of deep learning programs, as a new programming paradigm, is observed to suffer from various defects. Emerging research works have been…”
Získať plný text

μ2: Using Mutation Analysis to Guide Mutation-Based Fuzzing Autor Laybourn, Isabella

“…Coverage-guided fuzzing is a popular tool for finding bugs. This paper introduces μ 2 , a strategy for extending coverage-guided fuzzing with mutation…”
Získať plný text

Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning Autor Halle, Sylvain

“…Boolean test input generation is the process of finding sets of values for variables of a logical expression such that a given coverage criterion is achieved…”
Získať plný text

Automatic Ex-Vivo Regression Testing of Microservices Autor Gazzola, Luca, Goldstein, Maayan, Mariani, Leonardo, Segall, Itai, Ussi, Luca

“…Microservice-based applications consist of multiple services that can evolve independently. When services are modified, they are typically tested before being…”
Získať plný text

TauPad: Test Data Augmentation of Point Clouds by Adversarial Mutation Autor Liu, Guandi, Liu, Jiawei, Zhang, Quanjun, Fang, Chunrong, Zhang, Xufan

“…Point clouds have been widely used in a large number of application scenarios to handle with various deep learning (DL) tasks. Testing is an essential means to…”
Získať plný text

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact) Autor Schemmel, Daniel, Büning, Julian, Busse, Frank, Nowack, Martin, Cadar, Cristian

“…KDAlloc is a deterministic memory allocator for Dynamic Symbolic Execution. This artifact provides the allocator itself, integrated into the KLEE symbolic…”
Získať plný text