{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T04:53:38Z","timestamp":1745038418528,"version":"3.32.0"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3525578","type":"journal-article","created":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T19:32:30Z","timestamp":1735846350000},"page":"4171-4187","source":"Crossref","is-referenced-by-count":1,"title":["Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6642-6514","authenticated-orcid":false,"given":"Salwa","family":"Saad","sequence":"first","affiliation":[{"name":"Department of Computer Science, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7204-9474","authenticated-orcid":false,"given":"Etimad","family":"Fadel","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}]},{"given":"Ohoud","family":"Alzamzami","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3987-9051","authenticated-orcid":false,"given":"Fathy","family":"Eassa","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7644-5039","authenticated-orcid":false,"given":"Ahmed Mohammed","family":"Alghamdi","sequence":"additional","affiliation":[{"name":"Department of Software Engineering, College of Computer Science and Engineering, University of Jeddah, Jeddah, Saudi Arabia"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/s41578-023-00540-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2015.374"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s42514-024-00188-w"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/date51398.2021.9474063"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2017.57"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2021.05.017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3389\/feart.2023.1080879"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/icesc60852.2024.10689807"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3390\/electronics13010182"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/access.2022.3219406"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/cluster.2015.70"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/1094342014552204"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3390\/app132111960"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903809"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3582514.3582519"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3555819.3555853"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.32604\/cmes.2024.046467"},{"article-title":"Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi","year":"2023","author":"Abuin","key":"ref18"},{"key":"ref19","article-title":"Designing and prototyping extensions to MPI in MPICH","author":"Zhou","year":"2024","journal-title":"arXiv:2402.12274"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/computers13040086"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.32604\/cmc.2023.033928"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LLVMHPCHiPar51896.2020.00009"},{"volume-title":"OpenMP Tutorial","year":"2024","key":"ref23"},{"issue":"4","key":"ref24","first-page":"176","article-title":"Software testing techniques for parallel systems: A survey","volume":"19","author":"Alghamdi","year":"2019","journal-title":"Int. J. Comput. Sci. Netw. Secur."},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2833157.2833159"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-43659-3_4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37349-7_3"},{"volume-title":"Open MPI: Open Source High Performance Computing","year":"2018","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/correctness56720.2022.00009"},{"key":"ref30","first-page":"901","article-title":"Automated, scalable debugging of MPI programs with Intel_ message checker","volume-title":"Proc. 2nd Int. Workshop Softw. Eng. High Perform. Comput. Syst. Appl. (SE-HPCS)","author":"De Souza"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ipdps.2007.370254"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35632-2_3"},{"key":"ref33","first-page":"161","article-title":"GEM: Graphical explorer of MPI programs","volume-title":"Proc. 39th Int. Conf. Parallel Process. Workshops","author":"Humphrey"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.705"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72360-8_28"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3095075"},{"article-title":"ISP (in-situ partial order): A dynamic verifier for MPI programs","year":"2009","author":"Gopalakrishnan","key":"ref37"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3390\/sym12091555"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21487-5_4"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-52709-3_10"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness.2018.00010"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00058"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3418597"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00094"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00064"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3447818.3460379"},{"volume-title":"Valgrind Documentation","year":"2024","key":"ref47"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2011.49"},{"volume-title":"Clang 18.0.0git Documentation","year":"2024","key":"ref49"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31832-3_6"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24688-6_61"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/10820335.pdf?arnumber=10820335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T20:49:01Z","timestamp":1736542141000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10820335\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3525578","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2025]]}}}