Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3387903acmconferencesBook PagePublication PagesicseConference Proceedingsconference-collections
AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test
ACM2020 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
AST '20: IEEE/ACM 15nd International Conference on Automation of Software Test Seoul Republic of Korea October 7 - 8, 2020
ISBN:
978-1-4503-7957-1
Published:
07 October 2020
Sponsors:
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Next Conference
Reflects downloads up to 02 Feb 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
SESSION: Test Automation
research-article
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 ...

research-article
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 ...

research-article
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 ...

SESSION: Test Validation and Exploratory Testing
research-article
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, ...

research-article
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 ...

research-article
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 ...

SESSION: Test Generation
research-article
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 ...

research-article
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-...

SESSION: Short Papers
short-paper
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 ...

short-paper
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 ...

short-paper
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 ...

short-paper
Open Access
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 ...

short-paper
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, ...

SESSION: Industrial Abstracts
abstract
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). ...

abstract
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 ...

abstract
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 ...

Recommendations