State diagrams are widely used to model software artifacts, making state-based testing an interesting research topic. When conducting research on state-based testing for evaluating different testing criteria, often there is a need to devise numerous test suites in a systematic way according to selection criteria such as all-edges, all-transition-pairs, or the transition tree (W-method). Moreover, one also needs to satisfy each criterion in as many ways as possible to account for possible stochastic phenomena within each criterion. The main issue is then: How to automate the generation of as many, or even all, the different test suites for each criterion? This paper presents the first part of a framework, an automation tool chain that genera...
Model based testing (MBT) is an important approach with many advantages that can reduce the cost and...
ii Testing is an indispensable step in the process of software development. However it is a time-con...
Testing a web application is typically very complicated. Imposing simple coverage criteria such as f...
Finite state machines being intuitively understandable and suitable for modeling in many domains, th...
ABSTRACT Today statecharts are a de facto standard in industry for modeling system behavior. Test d...
Today statecharts are a de facto standard in industry for modeling system behavior. Test data genera...
A number of techniques have been proposed for state-based testing. One well-known technique (criteri...
This paper describes an automated approach to generating test cases for an object-oriented class. Th...
Abstract—This paper studies automatic test cases generation for Statechart specifications. Applying ...
The paper presents a theoretical foundation for test sequence generation based on an input specifica...
In the current article a novel test generation algorithm is presented for deterministic finite state...
Abstract: Based on prior work, this paper extends our holistic approach to generation and selection ...
Software Testing is a process to explore different errors, bugs and missing requirements in the soft...
Context Transition coverage testing, a testing technique using state charts of Unified Modeling Lang...
This thesis presents our work concerning test scenario generation for object-oriented software using...
Model based testing (MBT) is an important approach with many advantages that can reduce the cost and...
ii Testing is an indispensable step in the process of software development. However it is a time-con...
Testing a web application is typically very complicated. Imposing simple coverage criteria such as f...
Finite state machines being intuitively understandable and suitable for modeling in many domains, th...
ABSTRACT Today statecharts are a de facto standard in industry for modeling system behavior. Test d...
Today statecharts are a de facto standard in industry for modeling system behavior. Test data genera...
A number of techniques have been proposed for state-based testing. One well-known technique (criteri...
This paper describes an automated approach to generating test cases for an object-oriented class. Th...
Abstract—This paper studies automatic test cases generation for Statechart specifications. Applying ...
The paper presents a theoretical foundation for test sequence generation based on an input specifica...
In the current article a novel test generation algorithm is presented for deterministic finite state...
Abstract: Based on prior work, this paper extends our holistic approach to generation and selection ...
Software Testing is a process to explore different errors, bugs and missing requirements in the soft...
Context Transition coverage testing, a testing technique using state charts of Unified Modeling Lang...
This thesis presents our work concerning test scenario generation for object-oriented software using...
Model based testing (MBT) is an important approach with many advantages that can reduce the cost and...
ii Testing is an indispensable step in the process of software development. However it is a time-con...
Testing a web application is typically very complicated. Imposing simple coverage criteria such as f...