2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SE2014★ 2 cited
From High-Level Modeling Towards Efficient and Trustworthy Circuits
Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket
Behavior-Interaction-Priority (BIP) is a layered embedded system design and verification framework that provides separation of functionality, synchronization, and priority concerns…
cs.SE2014
Model Checking Software Programs with First Order Logic Specifications using AIG Solvers
Fadi A. Zaraket, Mohamad Noureddine
Static verification techniques leverage Boolean formula satisfiability solvers such as SAT and SMT solvers that operate on conjunctive normal form and first order logic formulae, r…
cs.SE2014★ 2 cited
UCov: a User-Defined Coverage Criterion for Test Case Intent Verification
Rawad Abou Assi, Fadi A. Zaraket, Wes Masri
The goal of regression testing is to ensure that the behavior of existing code is not altered by new program changes. The primary focus of regression testing should be on code asso…