- Sponsor:
- sigsoft
No abstract available.
Proceeding Downloads
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 ...
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 ...
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 ...
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-...
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 ...
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 ...
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 ...
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,...
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 ...
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 ...
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 ...
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 ...
Index Terms
- Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation