Suchergebnisse - "Software and its engineering→Software testing and debugging"

Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study von 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 …”
Volltext

ARCHIE: A User-Focused Framework for Testing Augmented Reality Applications in the Wild von 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 …”
Volltext

Learning-based Widget Matching for Migrating GUI Test Cases von 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, …”
Volltext

Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation von 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 …”
Volltext

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm von 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 …”
Volltext

Kex at the SBFT 2024 Java Tool Competition von 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 …”
Volltext

EvoKex at the SBFT 2024 Java Tool Competition von 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 …”
Volltext

Generator-based Fuzzing with Input Features von 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 …”
Volltext

TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track von 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) …”
Volltext

Fastbot: A Multi-Agent Model-Based Test Generation System : Beijing Bytedance Network Technology Co., Ltd von 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 …”
Volltext

GIFdroid: An Automated Light-weight Tool for Replaying Visual Bug Reports von 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 …”
Volltext

More is Not Always Better: Exploring Early Repair of DNNs von 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 …”
Volltext

Testing Apps With Real-World Inputs von 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 …”
Volltext

A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code von 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; …”
Volltext

gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects von 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 …”
Volltext

μ2: Using Mutation Analysis to Guide Mutation-Based Fuzzing von 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 …”
Volltext

Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning von 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 …”
Volltext

Automatic Ex-Vivo Regression Testing of Microservices von 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 …”
Volltext

TauPad: Test Data Augmentation of Point Clouds by Adversarial Mutation von 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 …”
Volltext

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact) von 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 …”
Volltext