Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems. - Salwa Saad; Etimad A. Fadel; Ohoud Alzamzami; Fathy Eassa; Ahmed Mohammed Alghamdi (Comput., 2024)

Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models. - Salwa Saad; Etimad A. Fadel; Ohoud Alzamzami; Fathy Elbouraey Eassa; Ahmed Mohammed Alghamdi (IEEE Access, 2025)