Zobrazeno 1 - 10
of 305
pro vyhledávání: '"Modified condition/decision coverage"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Talha Hussain, Rizwan Bin Faiz, Mohammad Aljaidi, Adnan Khattak, Ghassan Samara, Ayoub Alsarhan, Raed Alazaidah
Publikováno v:
Applied Sciences, Vol 13, Iss 14, p 8252 (2023)
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 optimal data generation. We conducted explanatory research to maximize
Externí odkaz:
https://doaj.org/article/52dac83666c046c29219cf7a46f1c4a8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Frontiers of Information Technology & Electronic Engineering. 21:1267-1284
Symbolic execution is an effective way of systematically exploring the search space of a program, and is often used for automatic software testing and bug finding. The program to be analyzed is usually compiled into a binary or an intermediate repres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8589e0f37201a565efd58900aed1fc7f
https://doi.org/10.1631/fitee.1900213
https://doi.org/10.1631/fitee.1900213
Autor:
Michael wondamu
Software testing is a key aspect in creating bug-free and defect-free software. Software testing is done to help with quality assurance. High-quality software can be created via an effective testing procedure. Regression testing is an important testi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::85c96bb1d10a89b1af4bd6c478780e38
https://nadre.ethernet.edu.et/record/20634
https://nadre.ethernet.edu.et/record/20634
Publikováno v:
DFT
A new fault model capable of effectively detecting design errors or defects that alter the functionality of an embedded module in a circuit is presented. It is built on the principle of Modified Condition Decision Coverage. An approach to efficiently
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb915cd28adad932b99bf688c96fcd72
https://doi.org/10.1109/dft52944.2021.9568351
https://doi.org/10.1109/dft52944.2021.9568351
Publikováno v:
SITA
Model-Based Testing (MBT) approaches are becoming an attractive prospect for safety-critical software testing due to their efficiency and the flexibility. Requirements based testing and structural testing are used for safety-critical systems software
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c59736f7b91e974ca76348ecd2d422bd
https://doi.org/10.1145/3419604.3419628
https://doi.org/10.1145/3419604.3419628
Publikováno v:
Computer Standards & Interfaces. 59:61-86
Object-Oriented languages such as Java language introduce advantageous features which overcome the demerits of procedural languages to some extent. Therefore, Java language is now going to be used by the industries to develop their critical safety sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::939452c0a89fdbb0be6a57ac06f41949
https://doi.org/10.1016/j.csi.2018.02.005
https://doi.org/10.1016/j.csi.2018.02.005