HITA: An architecture for system-level testing of healthcare IoT applications
Abstract System-level testing of healthcare Internet of Things (IoT) applications requires
creating a test infrastructure with integrated medical devices and third-party applications. A …
creating a test infrastructure with integrated medical devices and third-party applications. A …
Uncertainty-aware environment simulation of medical devices digital twins
Smart medical devices are an integral component of the healthcare Internet of Things (IoT),
providing patients with various healthcare services through an IoT-based application …
providing patients with various healthcare services through an IoT-based application …
Generation of test cases from uml diagrams-a systematic literature review
Model-Based testing (MBT) is a technique to derive test cases from models of the system
under test (SUT), and the UML is the leading and de-facto standard language for system …
under test (SUT), and the UML is the leading and de-facto standard language for system …
Practical constraint solving for generating system test data
The ability to generate test data is often a necessary prerequisite for automated software
testing. For the generated data to be fit for their intended purpose, the data usually have to …
testing. For the generated data to be fit for their intended purpose, the data usually have to …
Automated system-level testing of unmanned aerial systems
Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and
mission-critical. A major requirement of international safety standards is to perform rigorous …
mission-critical. A major requirement of international safety standards is to perform rigorous …
Testing cockpit display systems of aircraft using a model-based approach
Avionics are highly critical systems that require extensive testing to comply with international
safety standards. Cockpit display systems (CDS) are a mandatory part of modern cockpits of …
safety standards. Cockpit display systems (CDS) are a mandatory part of modern cockpits of …
Efficient test data generation for MC/DC with OCL and search
System-level testing of avionics software systems requires compliance with different
international safety standards such as DO-178C. An important consideration of the avionics …
international safety standards such as DO-178C. An important consideration of the avionics …
A Systematic Literature Review on MBT Test Cases Maintenance
CDQ Lima, ELG Alves… - 2024 IEEE 48th Annual …, 2024 - ieeexplore.ieee.org
Model-Based Testing (MBT) can be a valuable tool for software testing, automating test
generation from the System Under Test (SUT) models and making the testing process …
generation from the System Under Test (SUT) models and making the testing process …
Enhancing logic-based testing with EvoDomain: A search-based domain-oriented test suite generation approach
A Kalaee, S Parsa, Z Mansouri - Information and Software Technology, 2025 - Elsevier
Context Effective software testing requires test adequacy criteria. MC/DC, a widely used
logic-based testing criterion, struggles to detect domain errors caused by incorrect arithmetic …
logic-based testing criterion, struggles to detect domain errors caused by incorrect arithmetic …
Maximizing test coverage for security threats using optimal test data generation
As time continues to advance, the need for robust security threat mitigation has become
increasingly vital in software. It is a constant struggle to maximize test coverage through …
increasingly vital in software. It is a constant struggle to maximize test coverage through …