skip to main content
10.1145/2994291acmconferencesBook PagePublication PagesisstaConference Proceedingsconference-collections
A-TEST 2016: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation
ACM2016 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
FSE'16: 24nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering Seattle WA USA 18 November 2016
ISBN:
978-1-4503-4401-2
Published:
18 November 2016
Sponsors:
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Next Conference
Reflects downloads up to 18 Feb 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
SESSION: Session 1
research-article
Public Access
Multilevel coarse-to-fine-grained prioritization for GUI and web applications

This work demonstrates that the use of one criterion for test suite prioritization may lead to high variability of fault detection rates due to random tie-breaking. The paper provides motivational examples of how a single fine-grained or coarse ...

research-article
Public Access
EventFlowSlicer: goal based test generation for graphical user interfaces

Automated test generation techniques for graphical user interfaces include model-based approaches that generate tests from a graph or state machine model, capture-replay methods that require the user to demonstrate each test case, and pattern-based ...

research-article
PredSym: estimating software testing budget for a bug-free release

Symbolic execution tools are widely used during a software testing phase for finding hidden bugs and software vulnerabilities. Accurately predicting the time required by a symbolic execution tool to explore a chosen code coverage helps in planning the ...

SESSION: Session 2
research-article
The complementary aspect of automatically and manually generated test case sets

The test is a mandatory activity for software quality assurance. The knowledge about the software under testing is necessary to generate high-quality test cases, but to execute more than 80% of its source code is not an easy task, and demands an in-...

research-article
Modernizing hierarchical delta debugging

Programmers tasked with the fixing of a bug prefer working on a minimal test case where every single bit is needed to reproduce the failure. However, cutting off the excess parts of a potentially large test case can be a tedious and time-consuming task ...

research-article
Complete IOCO test cases: a case study

Input/Output Transition Systems (IOTSs) have been widely used as test models in model-based testing. Traditionally, input output conformance testing (IOCO) has been used to generate random test cases from IOTSs. A recent test case generation method for ...

SESSION: Session 3
research-article
Model-based testing of stochastic systems with IOCO theory

We present essential concepts of a model-based testing framework for probabilistic systems with continuous time. Markov automata are used as an underlying model. Key result of the work is the solid core of a probabilistic test theory, that incorporates ...

research-article
Development and maintenance efforts testing graphical user interfaces: a comparison

For testing of graphical user interfaces many tools exists. The aim of this work is a statement regarding the advantages and disadvantages of various testing tools with regard to their use in the economic context to be taken. It is compared, inter alia,...

research-article
MT4A: a no-programming test automation framework for Android applications

The growing dependency of our society on increasingly complex software systems, combining mobile and cloud-based applications and services, makes the test activities even more important and challenging. However, sometimes software tests are not ...

SESSION: Session 4
short-paper
Public Access
Mitigating (and exploiting) test reduction slippage

Reducing the size of tests, typically by delta debugging or a related algorithm, is a critical component of effective automated testing and debugging. Automatically generated or user-submitted tests are often far longer than required, full of ...

short-paper
Automated workflow regression testing for multi-tenant SaaS: integrated support in self-service configuration dashboard

Single-instance multi-tenant SaaS applications allow tenant administrators to (extensively) customize the application according to the requirements of their organizations. In the specific case of workflow-driven applications, the SaaS provider may ...

short-paper
Towards an MDE-based approach to test entity reconciliation applications

The management of large volumes of data has given rise to significant challenges to the entity reconciliation problem (which refers to combining data from different sources for a unified vision) due to the fact that the data are becoming more ...

Contributors
  • Open University of the Netherlands
  • Mälardalen University
  • Utrecht University

Index Terms

  1. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation

    Recommendations