7 citations · 17 across the 9 of their papers we have counts for
11 papers
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations
Mustafa Jarrar, Fadi A Zaraket, Tymaa Hammouda +2
This article presents morphologically-annotated Yemeni, Sudanese, Iraqi, and Libyan Arabic dialects Lisan corpora. Lisan features around 1.2 million tokens. We collected the conten…
Curras + Baladi: Towards a Levantine Corpus
Karim El Haff, Mustafa Jarrar, Tymaa Hammouda +1
The processing of the Arabic language is a complex field of research. This is due to many factors, including the complex and rich morphology of Arabic, its high degree of ambiguity…
CFAAR: Control Flow Alteration to Assist Repair
Chadi Trad, Rawad Abou Assi, Wes Masri +1
We present CFAAR, a program repair assistance technique that operates by selectively altering the outcome of suspicious predicates in order to yield expected behavior. CFAAR is app…
Morphology-based Entity and Relational Entity Extraction Framework for Arabic
Amin Jaber, Fadi A. Zaraket
Rule-based techniques to extract relational entities from documents allow users to specify desired entities with natural language questions, finite state automata, regular expressi…
GUICop: Approach and Toolset for Specification-based GUI Testing
Dalal Hammoud, Fadi A. Zaraket, Wes Masri
Oracles used for testing graphical user interface (GUI) programs are required to take into consideration complicating factors such as variations in screen resolution or color schem…
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…
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…
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…
Synthesis of Sequential Extended Regular Expressions for Verification
Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein
Synthesis techniques take realizable Linear Temporal Logic specifications and produce correct cir- cuits that implement the specifications. The generated circuits can be used direc…
Specification Construction Using Behaviours, Equivalences, and SMT Solvers
Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine +1
We propose a method to write and check a specification including quantifiers using behaviors, i.e., input-output pairs. Our method requires the following input from the user: (1) a…
Semantic Guidance and Feedback for the Construction of Specifications and Implementations
Paul C Attie, Fadi A Zaraket, Mohammad Fawaz +1
The problem of writing a specification which accurately reflects the intent of the developer has long been recognized as fundamental. We propose a method and a supporting tool to w…