المؤلفون: Zafar, Muhammad Nouman, Afzal, Wasif, Enoiu, Eduard Paul, PhD

المصدر: Proceedings - 3rd ACM/IEEE International Conference on Automation of Software Test, AST 2022. :148-159

مصطلحات موضوعية: Safety Critical Systems, System-level Tests, Test Coverage, Test Generation, Accident prevention, Automation, Model checking, Safety testing, Security systems, Software testing, Automated testing, Manual testing, Model based testing, Modified condition decision coverage, System-level test, Test case, Test generations, Test-coverage, Testing technique, Efficiency

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-59578Test
https://doi.org/10.1145/3524481.3527235Test

المؤلفون: Talha Hussain, Rizwan Bin Faiz, Mohammad Aljaidi, Adnan Khattak, Ghassan Samara, Ayoub Alsarhan, Raed Alazaidah

المصدر: Applied Sciences; Volume 13; Issue 14; Pages: 8252

مصطلحات موضوعية: modified condition/decision coverage, decision coverage, test coverage, test data, object constraint language, structured misuse case description, system under test

جغرافية الموضوع: agris

وصف الملف: application/pdf

العلاقة: Computing and Artificial Intelligence; https://dx.doi.org/10.3390/app13148252Test

الإتاحة: https://doi.org/10.3390/app13148252Test

المؤلفون: Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, Feldt, Robert, Pettersson, Paul

المصدر: ITS-EASY Post Graduate School for Embedded Software and Systems TOCSYC - Testing of Critical System Characteristics (KKS) AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Lecture Notes in Computer Science. :155-171

مصطلحات موضوعية: Engineering controlled terms: Accident prevention, Application programs, Automation, Embedded software, Fault detection, Java programming language, Model checking, Programmable logic controllers, Safety engineering, Safety testing, Standards Automated test generations, Decision coverage, Detection ability, Engineering software, Experimental evidence, Mutation analysis, Mutation operators, Uppaal model checkers Engineering main heading: Software testing

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-32886Test
https://mdh.diva-portal.org/smash/get/diva2:956195/FULLTEXT01.pdfTest

المؤلفون: Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo

المصدر: Nuclear Engineering and Technology, Vol 53, Iss 1, Pp 131-141 (2021)

مصطلحات موضوعية: Functional safety, Measure (data warehouse), Functional verification, Computer science, business.industry, 020209 energy, media_common.quotation_subject, 02 engineering and technology, Scenario generation, Simulation coverage, lcsh:TK9001-9401, FBD simulation, 030218 nuclear medicine & medical imaging, Reliability engineering, 03 medical and health sciences, 0302 clinical medicine, Software, Nuclear Energy and Engineering, Decision coverage, Coverage estimation, 0202 electrical engineering, electronic engineering, information engineering, lcsh:Nuclear engineering. Atomic power, Quality (business), business, media_common

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc165a4db69c6377a3d3eb7b506097b7Test
http://www.sciencedirect.com/science/article/pii/S1738573320301145Test

المؤلفون: Ji Wang, Weijiang Hong, Zhenbang Chen, Yi-jun Liu, Wei Dong

المصدر: Frontiers of Information Technology & Electronic Engineering. 21:1267-1284

مصطلحات موضوعية: Computer Networks and Communications, Computer science, business.industry, Programming language, Existential quantification, Process (computing), Optimizing compiler, Binary number, 020207 software engineering, 02 engineering and technology, Symbolic execution, computer.software_genre, Support vector machine, Modified condition/decision coverage, Software, Hardware and Architecture, 020204 information systems, Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, business, computer

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::8589e0f37201a565efd58900aed1fc7fTest
https://doi.org/10.1631/fitee.1900213Test

المؤلفون: Golla, Monika Rani, Godboley, Sangharatna

مصطلحات موضوعية: Modified Condition/Decision Coverage Criterion, Safety-Critical Applications, Multiple Condition Coverage Criterion, Short-Circuit Evaluation Property, Error-Detection Probability, Mutation Testing, Mutation Score

العلاقة: https://zenodo.org/record/7486760Test; https://doi.org/10.5281/zenodo.7486760Test; oai:zenodo.org:7486760

الإتاحة: https://doi.org/10.5281/zenodo.7486760Test
https://doi.org/10.5281/zenodo.7486724Test
https://zenodo.org/record/7486760Test

المؤلفون: Mustafa AL-HAJJAJI, Izzat Mahmoud ALSMADI, Samer SAMARAH

المصدر: Informatică economică, Vol 16, Iss 1, Pp 5-13 (2012)

مصطلحات موضوعية: Complexity, Software Metrics, Decision Coverage, Software Quality, Testing, Computer engineering. Computer hardware, TK7885-7895, Bibliography. Library science. Information resources

وصف الملف: electronic resource

العلاقة: http://www.revistaie.ase.ro/content/61/01%20-%20Alsmadi.pdfTest; https://doaj.org/toc/1453-1305Test; https://doaj.org/toc/1842-8088Test

الوصول الحر: https://doaj.org/article/7ef4f4972e3b4804b3adb2cbab0fe94fTest

المؤلفون: Rajib Mall, Anwesha Patel, Arpita Dutta

المصدر: IET Software. 13:610-616

مصطلحات موضوعية: Program testing, Computer science, Small number, 020207 software engineering, 02 engineering and technology, Computer Graphics and Computer-Aided Design, Reliability engineering, Test case, Decision coverage, 0202 electrical engineering, electronic engineering, information engineering, Test suite, 020201 artificial intelligence & image processing, Pairwise comparison, White box, Combinatorial explosion

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::3e0892ab924dd76ede40710d510094d9Test
https://doi.org/10.1049/iet-sen.2018.5309Test

المؤلفون: Michael wondamu

مصطلحات موضوعية: Control Flow Graph, River Formation Dynamics, Modified Condition/ Decision Coverage, Program Under Test, Test Sequence Prioritization

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::85c96bb1d10a89b1af4bd6c478780e38Test
https://nadre.ethernet.edu.et/record/20634Test

المؤلفون: Puneet Ramesh Savanur, Spyros Tragoudas

المصدر: DFT

مصطلحات موضوعية: Very-large-scale integration, Combinational logic, Modified condition/decision coverage, business.industry, Computer science, Logic gate, Hardware_PERFORMANCEANDRELIABILITY, Fault model, business, Computer hardware

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::eb915cd28adad932b99bf688c96fcd72Test
https://doi.org/10.1109/dft52944.2021.9568351Test