Results 1 to 10 of about 5,521,647 (293)
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
ContextDrive: Towards a Functional Scenario-Based Testing Framework for Context-Aware Applications
IEEE Access, 2021 Context-aware applications are emerging applications in the modern era of computing. These applications can determine and adapt to situational context to provide better user experience. Testing these applications is not straightforward.
Aamir Mehmood Mirza +6 more
doaj +1 more source
A Learn-to-Rank Method for Model-Based Regression Test Case Prioritization
IEEE Access, 2021 Regression testing plays an indispensable role in software maintenance, which refers to retest the software following modifications to determine whether the changes have introduced new faults.
Yechao Huang, Ting Shu, Zuohua Ding
doaj +1 more source
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
Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker
NUML International Journal of Engineering and Computing, 2023 This paper studies learning-based testing (LBT) for reactive systems with different learning algorithms and model checkers. LBT is a technique that requires a learning algorithm to learn the models to generate test cases automatically.
Anjum Ara Shah, Muddassar Azam Sindhu
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
Incremental Testing in Software Product Lines—An Event Based Approach
IEEE Access, 2023 One way of developing fast, effective, and high-quality software products is to reuse previously developed software components and products. In the case of a product family, the software product line (SPL) approach can make reuse more effective. The goal
Mutlu Beyazit +2 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
Testing for Asset Pricing Model based on Sentiment Indexes: SAPM Model [PDF]
Faslnāmah-i Pizhūhish/Nāmah-i Iqtisādī, 2022 The purpose of this article is to investigate the effect of behavioral deviations on the pricing of financial assets with the assumption that sentiment is an important and relevant risk factor in the Iranian capital market.
Reza Talebloo +2 more
doaj +1 more source