2 papers
cs.SE2022
TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation
Ebrahim Fazli, Ali Ebnenasir
This paper presents a novel scalable GPU-based method for Test Paths (TPs) and Prime Paths (PPs) Generation, called TPGen, used in structural testing and in test data generation. T…
cs.DC2019
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties
Ali Ebnenasir
This paper investigates the verification and synthesis of parameterized protocols that satisfy leadsto properties on symmetric unidirectional rings (a.k.a. uni-rings…