Kinan Dak-Al-Bab

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Code Generation

Modeling Language

Top Venues

ACM Trans. Embed. Comput. Syst.

Int. J. Softw. Tools Technol. Transf.

Publications

Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji
A high-level modeling language for the efficient design, implementation, and testing of Android applications. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr
Model and Program Repair via SAT Solving. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi
Model and program repair via SAT solving. MEMOCODE (2015)
John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, Mohamad Jaber
A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications. CoRR (2015)