No abstract available.
Proceeding Downloads
Testing Apps With Real-World Inputs
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 reliable source of semantically coherent inputs. In this paper, we adapt and extend the Link ...
Automatic Ex-Vivo Regression Testing of Microservices
Microservice-based applications consist of multiple services that can evolve independently. When services are modified, they are typically tested before being deployed. However, the test suites that are executed are usually designed without the exact ...
A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations
Among distributed applications, the actor model is increasingly prevalent. This programming model organises applications into fully-isolated processes that communicate through asynchronous messaging. Supported by frameworks such as Akka and Orleans, it ...
Validating Test Case Migration via Mutation Analysis
Testing plays an important role in the context of software migration as it is used to validate and ensure functional equivalence as a key requirement. As developing new test cases of the migrated system is typically a costly and time-consuming activity, ...
Hybrid Methods for Reducing Database Schema Test Suites: Experimental Insights from Computational and Human Studies
Given that a relational database is a critical component of many software applications, it is important to thoroughly test the integrity constraints of a database's schema, because they protect the data. Although automated test data generation ...
Exploratory Datamorphic Testing of Classification Applications
Testing has been widely recognised as difficult for AI applications. This paper proposes a set of testing strategies for testing machine learning applications in the framework of the datamorphism testing methodology. In these strategies, testing aims at ...
Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage
Testing is a very important and expensive part of developing Android applications. Several tools for automatically testing Android applications have been proposed. In particular, Sapienz is a search-based tool that has been recently deployed in an ...
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
The advent of multicore systems and distributed frameworks enables distributed strategies to address challenges in large-scale divisible problems by decomposing them into small ones, processing the corresponding sub-solutions and aggregating these sub-...
Automated Analysis of Flakiness-mitigating Delays
During testing of parallel systems, which allow asynchronous communication, test flakiness is sometimes avoided by explicitly inserting delays in test code. The choice of delay approach can be a trade-off between short-term gain and long-term ...
The Power of String Solving: Simplicity of Comparison
The increased interest in string solving in the recent years has made it very hard to identify the right tool to address a particular user's purpose. Firstly, there is a multitude of string solving, each addressing essentially some subset of the general ...
A Quantitative Comparison of Coverage-Based Greybox Fuzzers
In recent years, many tools have been developed for fuzz testing that generates and executes test cases repeatedly. However, many studies use different fuzzing targets and evaluation criteria and then it is difficult to compare the performance of the ...
Fastbot: A Multi-Agent Model-Based Test Generation System Beijing Bytedance Network Technology Co., Ltd.
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 cyclic operations and run out of resources, when applied to apps with industrial complexity ...
Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework
Program based test adequacy criteria (TAC), such as statement, branch coverage and mutation give objectives for software testing. Many techniques and tools have been developed to improve each phase of the TAC-based software testing process. Nonetheless, ...
The effectiveness of client-side JavaScript Testing
In the simplest form, software testing consists of creating test cases from a defined input space, executing those test cases for the system-under-test (SUT), and evaluating the outputs with a mechanism for determining success or failure (i.e. oracle). ...
AI-Driven Conversational Bot Test Automation Using Industry Specific Data Cartridges
The paper describes an in-house accelerator to generate alternate synonymous sentences and similar intent from sample utterances, the generated data can be applied as test input for conversational AI bots (either text or voice-based). Its NLP-driven ...
Automatic Prevention of Accidents in Production
We present a framework for automatically testing functional correctness of back-end servers. We created a pre-production environment where traffic between servers can be reconfigured dynamically. Production requests are sampled and replayed in our ...