Results 11 to 20 of about 5,519,312 (291)
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 +5 more sources
Model-Based Security Testing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many
Ina Schieferdecker +2 more
doaj +4 more sources
An Approach to Model Based Testing of Multiagent Systems [PDF]
The Scientific World Journal, 2015 Autonomous agents perform on behalf of the user to achieve defined goals or objectives. They are situated in dynamic environment and are able to operate autonomously to achieve their goals.
Shafiq Ur Rehman, Aamer Nadeem
doaj +2 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
Survey of Model-Based Security Testing Approaches in the Automotive Domain
IEEE Access, 2023 Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical systems. As a result of the high number of different technologies and connectivity features involved, testing these systems to identify security vulnerabilities is a big ...
Florian Sommer +2 more
doaj +1 more source
Fault Injection in Actuator Models for Testing of Automated Driving Functions
Vehicles, 2023 In this work, a simulation framework for virtual testing of autonomous driving functions under the influence of a fault occurring in a component is presented.
Hendrik Holzmann +5 more
doaj +1 more source
Cybersecurity Testing for Automotive Domain: A Survey
Sensors, 2022 Modern vehicles are more complex and interconnected than ever before, which also means that attack surfaces for vehicles have increased significantly.
Feng Luo +6 more
doaj +1 more source
Model-Based Ideal Testing of GUI Programs–Approach and Case Studies
IEEE Access, 2021 Traditionally, software testing is aimed at showing the presence of faults. This paper proposes a novel approach to testing graphical user interfaces (GUI) for showing both the presence and absence of faults in the sense of ideal testing.
Onur Kilincceker +3 more
doaj +1 more source