Results 11 to 20 of about 5,521,647 (293)
IEEE Software, 2011 This paper provides a comprehensive introduction to a framework for formal testing using labelled transition systems, based on an extension and reformulation of the ioco theory introduced by Tretmans.
Brinksma, Ed +2 more
core +4 more sources
Traceability in Model-Based Testing [PDF]
Future Internet, 2012 The growing complexities of software and the demand for shorter time to market are two important challenges that face today’s IT industry. These challenges demand the increase of both productivity and quality of software. Model-based testing is
Mathew George +4 more
doaj +2 more sources
Model-Based Testing for MANETs [PDF]
Труды Института системного программирования РАН, 2018 Conformance testing in network engineering is a crucial phase in the development of complex communicating systems. Model-based testing allows to automatize the testing process by generating test suites from a formal specification and to execute them on a
Stéphane Maag
doaj +3 more sources
Compositionality in Model-Based Testing [PDF]
, 2023 To be published in ICTSS 2023 conference ...
Cuyck, G. van +2 more
openaire +3 more sources
A Test Generator for Model-Based Testing [PDF]
Proceedings of the Fourth International Symposium on Business Modeling and Software Design, 2014 The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing.
Roubtsova, E.E., Roubtsov, Serguei
openaire +2 more sources
AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs
IEEE Access, 2023 We introduce a model-based feedback-driven test adaptation approach for end-to-end user interface testing of smart TVs. From the perspective of the TV software, the proposed approach is a non-intrusive and completely black-box approach, which operates by
Mohammad Yusaf Azimi +4 more
doaj +1 more source
Analysis of Testing-Based Forward Model Selection [PDF]
, 2020 This paper introduces and analyzes a procedure called Testing-based forward model selection (TBFMS) in linear regression problems. This procedure inductively selects covariates that add predictive power into a working statistical model before estimating ...
Kozbur, Damian
core +1 more source
Dynamic Infection Spread Model Based Group Testing
Algorithms, 2023 Group testing idea is an efficient approach to detect prevalence of an infection in the test samples taken from a group of individuals. It is based on the idea of pooling the test samples and performing tests to the mixed samples.
Batuhan Arasli, Sennur Ulukus
doaj +1 more source
Model-based testing of networked applications [PDF]
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021 We present a principled automatic testing framework for application-layer protocols. The key innovation is a domain-specific embedded language for writing nondeterministic models of the behavior of networked servers. These models are defined within the Coq interactive theorem prover, supporting a smooth transition from testing to formal verification ...
Yishuai Li +2 more
openaire +2 more sources
Model-based testing as a service [PDF]
International Journal on Software Tools for Technology Transfer, 2017 The quality of Web services is an important factor for businesses that advertise or sell their services in the Internet. Failures can directly lead to fewer costumers or security problems. However, the testing of complex Web services that are organized in service-oriented architectures is a difficult and complex problem.
Steffen Herbold, Andreas Hoffmann 0001
openaire +2 more sources