Filters








61,649 Hits in 4.5 sec

Complete IOCO test cases: a case study

Sofia Costa Paiva, Adenilso Simao, Mahsa Varshosaz, Mohammad Reza Mousavi
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
Traditionally, input output conformance testing (IOCO) has been used to generate random test cases from IOTSs.  ...  A recent test case generation method for IOTSs, called Complete IOCO, applies fault models to obtain complete test suites with guaranteed fault coverage for IOTSs.  ...  In Figure 1 , quiescent states are designated by adding the δ-transitions.  ... 
doi:10.1145/2994291.2994297 fatcat:qo2qszabe5gk5jhnevizd367lm

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

Tiago Coelho, Bruno Lima, João Pascoal Faria
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
It is possible to create automated tests based on a set of pre-defined actions and it is also possible to inject data into device sensors.  ...  Although there are several frameworks for mobile test automation, they usually require programming skills or complex configuration steps.  ...  The login system was designed to allow users to develop their own test suites for one or more packages.  ... 
doi:10.1145/2994291.2994300 fatcat:nyx2umu2mrhkpd5qgqogfioyte

Modernizing hierarchical delta debugging

Renáta Hodován, Ákos Kiss
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
However, cutting off the excess parts of a potentially large test case can be a tedious and timeconsuming task if performed manually, which has led to the research and development of automated test case  ...  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.  ...  Cutting off the excess parts of a test case can be a tedious and time-consuming task if performed manually, which has led to the research and development of automated test case reduction techniques.  ... 
doi:10.1145/2994291.2994296 fatcat:ejbyfyqwsjfhpc7mcwmymdmxy4

Mitigating (and exploiting) test reduction slippage

Josie Holmes, Alex Groce, Mohammad Amin Alipour
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
Reducing the size of tests, typically by delta debugging or a related algorithm, is a critical component of effective automated testing and debugging.  ...  While traditional delta debugging only produces one reduced test, the concept of slippage suggests an alternative approach, where the output of reduction is a set of reduced tests, in order to avoid problematic  ...  Many automated test generation methods, especially those based on random testing, produce long tests with many irrelevant components.  ... 
doi:10.1145/2994291.2994301 fatcat:cjsunglt55gzzh3hkvkawguh7a

Model-based testing of stochastic systems with IOCO theory

Marcus Gerhold, Mariëlle Stoelinga
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
We connect ioco theory and hypothesis testing to infer about trace probabilities.  ...  Key result of the work is the solid core of a probabilistic test theory, that incorporates real-time stochastic behaviour.  ...  The system under test (SUT) is subjected to a large body of well-designed test cases and the outcome of the process is compared to a requirements specification.  ... 
doi:10.1145/2994291.2994298 fatcat:fe7pn2sjdnfgtopsou2tibrdsq

EventFlowSlicer: goal based test generation for graphical user interfaces

Jonathan Saddler, Myra B. Cohen
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
On average EventFlowSlicer generated 38 test cases per suite, and as many as 200 test cases which all achieve the same goal for a specified task.  ...  demonstrate each test case, and pattern-based approaches that provide templates for abstract test cases.  ...  We next examine the number of test cases generated for the various tasks in Table 3 . We see as many as 200 test cases for one task and on average 38.  ... 
doi:10.1145/2994291.2994293 fatcat:6intix3webfwhgk53c5uj4rspy

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

Arnamoy Bhattacharyya, Timur Malgazhdarov
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
Symbolic execution tools are widely used during a software testing phase for finding hidden bugs and software vulnerabilities.  ...  PredSym also gives code improvement suggestions based on a heuristic for improving the coverage generated by KLEE.  ...  We blame this gap between research and practice on three challenges faced by automated testing: scalability, ap-plicability, and usability.  ... 
doi:10.1145/2994291.2994294 fatcat:hltg5p7ulfbsfktcsda4frtl7q

Development and maintenance efforts testing graphical user interfaces: a comparison

Antonia Kresse, Peter M. Kruse
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
For testing of graphical user interfaces many tools exists.  ...  Results show that with QF-Test test suites can be created the quickest while EggPlant has the shortest maintenance time. TestComplete performs worse in both disciplines.  ...  Automated tests can be a good solution [9] . Most automated test techniques work on a deeper level, a well-known example is unit testing [22] .  ... 
doi:10.1145/2994291.2994299 fatcat:a72ckmddlrbydfl6zrq5jwts5m

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

Majid Makki, Dimitri Van Landuyt, Wouter Joosen
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
One such tool is a regression testing framework that allows them to make sure that a new version of a workflow can behave similarly as to a successful execution of a previous version.  ...  This paper highlights the potential and discusses the inherent challenges of running regression tests on workflows in the production environment of a multi-tenant SaaS application and outlines a solution  ...  This section elaborates on four main challenges that a testing framework should deal with in that regard. C1: Test Case Generation.  ... 
doi:10.1145/2994291.2994302 fatcat:u32tg6uksbgjjitxjcwiae3e3e

The complementary aspect of automatically and manually generated test case sets

Auri M. R. Vincenzi, Tiago Bachiega, Daniel G. de Oliveira, Simone R. S. de Souza, José C. Maldonado
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
When we combined manual with automated test sets, the resultant test sets overcame in more that 10%, on average, statement coverage and mutation score when compared to the rates of manual test set, keeping  ...  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-depth knowledge of  ...  Experiment Design The experiment design has a direct impact on how to analyze the results. A suitable design also serves to minimize the influence of adverse factors on the results.  ... 
doi:10.1145/2994291.2994295 fatcat:vb7gyiyaqfhptkzfh6ub2kjdqe

Towards an MDE-based approach to test entity reconciliation applications

J. G. Enríquez, Raquel Blanco, F. J. Domínguez-Mayo, Javier Tuya, M. J. Escalona
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
In this paper, we present a first approach, based on MDE, which allows the creation of test models for the integration testing of entity reconciliation applications.  ...  Testing the applications that implement the entity reconciliation problem is crucial to ensure both the correctness of the reconciliation process and the quality of the reconciled data.  ...  On the one hand, the definition of different types of structural and load rules, and the definition of the transformations that automate the process of deriving the test requirements and the test cases  ... 
doi:10.1145/2994291.2994303 fatcat:btysy3ccwjbphoas7yg2orjzbu

Multilevel coarse-to-fine-grained prioritization for GUI and web applications

Dmitry Nurmuradov, Renée Bryce, Hyunsook Do
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
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.  ...  CCS Concepts •Software and its engineering → Software testing and debugging;  ...  We will conduct a comprehensive study on systematic techniques used in test suite reduction, test suite generation, and other software testing areas and how tie-breaking influences the outcomes of such  ... 
doi:10.1145/2994291.2994292 fatcat:re2hf3dhfvfqjllcthafhbrywe

Model-driven test case design for model-to-model semantics preservation

Christopher Gerking, Jan Ladleif, Wilhelm Schäfer
2015 Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015  
We present a visual domain-specific language for the design of model transformation tests, which reduces test cases to their essential components.  ...  We evaluate our approach in terms of a case study based on the MechatronicUML modeling language for the software development of cyber-physical systems.  ...  According to the above pattern, we design one test case for each of the thirteen contracts to test.  ... 
doi:10.1145/2804322.2804323 dblp:conf/sigsoft/GerkingLS15 fatcat:i27n65r3snhvfl6knqdi2bmke4

EvoSE: evolutionary symbolic execution

Mauro Baluda
2015 Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015  
Search Based Software Testing (SBST) and Symbolic Execution (SE) have emerged as the most effective among the fully automated test input generation techniques.  ...  However, none of the two techniques satisfactorily solves the problem of generating test cases that exercise specific code elements, as it is required for example in security vulnerability testing.  ...  EvoSE instead aims to generate test cases targeting specific code elements as this is required, for example, in security testing where one wishes to exploit a presumable vulnerability or test the validity  ... 
doi:10.1145/2804322.2804325 dblp:conf/sigsoft/Baluda15 fatcat:qyyzofmwfngrfbl6dayynnf3da

Deterministically testing actor-based concurrent software

Piet Cordemans, Eric Steegmans, Jeroen Boydens
2015 Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015  
In this paper we propose a tool which supports deterministic testing of concurrent software based on the Actor model.  ...  Corresponding with these traces our tool issues test runs, guaranteeing full state space coverage of each test.  ...  On the other hand one of the actors under test processes a message and the marshal actor internally continues to the next state.  ... 
doi:10.1145/2804322.2804327 dblp:conf/sigsoft/CordemansSB15 fatcat:f6jqxy44xbf25icv2lzidnphvq
« Previous Showing results 1 — 15 out of 61,649 results