Efsm-based test case generation: Sequence, data, and oracle
Model-based testing has been intensively and extensively studied in the past decades.
Extended Finite State Machine (EFSM) is a widely used model of software testing in both …
Extended Finite State Machine (EFSM) is a widely used model of software testing in both …
Dependence analysis in reduction of requirement based test suites
B Vaysburg, LH Tahat, B Korel - Proceedings of the 2002 ACM SIGSOFT …, 2002 - dl.acm.org
Requirement-based automated test case generation is a model-based technique for
generating test suites related to individual requirements. The technique supports test …
generating test suites related to individual requirements. The technique supports test …
Generating test cases for web services using extended finite state machine
Web services utilize a standard communication infrastructure such as XML and SOAP to
communicate through the Internet. Even though Web services are becoming more and more …
communicate through the Internet. Even though Web services are becoming more and more …
MATTER: A tool for generating end-to-end IoT test scripts
In the last few years, Internet of Things (IoT) systems have drastically increased their
relevance in many fundamental sectors. For this reason, assuring their quality is of …
relevance in many fundamental sectors. For this reason, assuring their quality is of …
Amorphous slicing of extended finite state machines
Slicing is useful for many software engineering applications and has been widely studied for
three decades, but there has been comparatively little work on slicing extended finite state …
three decades, but there has been comparatively little work on slicing extended finite state …
Model projection: Simplifying models in response to restricting the environment
This paper introduces Model Projection. Finite state models such as Extended Finite State
Machines are being used in an ever increasing number of software engineering activities …
Machines are being used in an ever increasing number of software engineering activities …
Varu framework: Enabling rapid prototy** of VR, AR and ubiquitous applications
Recent advanced interface technologies allow the user to interact with different spaces such
as Virtual Reality (VR), Augmented Reality (AR) and Ubiquitous Computing (UC) spaces …
as Virtual Reality (VR), Augmented Reality (AR) and Ubiquitous Computing (UC) spaces …
Boosting input data sequences generation for testing efsm-specified systems using deep reinforcement learning
T Shu, C Wu, Z Ding - Information and Software Technology, 2023 - Elsevier
Context: Input data sequence (IDS) is an important component of test sequences for testing
from the Extended Finite State Machine (EFSM) model. During test generation, frequent IDS …
from the Extended Finite State Machine (EFSM) model. During test generation, frequent IDS …
Deriving input partitions from UML models for automatic test generation
S Weißleder, BH Schlingloff - International Conference on Model Driven …, 2007 - Springer
In this paper, we deal with model-based automatic test generation. We show how to use
UML state machines, UML class diagrams, and OCL expressions to automatically derive …
UML state machines, UML class diagrams, and OCL expressions to automatically derive …
A test case generation approach for conformance testing of SDL systems
This paper presents an approach for automatic executable test case and test sequence
generation for a protocol modeled by an SDL system. Our methodology uses a unified …
generation for a protocol modeled by an SDL system. Our methodology uses a unified …