Kinan Dak-Al-Bab

According to our database1, Kinan Dak-Al-Bab authored at least 3 papers between 2015 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Model and Program Repair via SAT Solving.
ACM Trans. Embed. Comput. Syst., 2018

A high-level modeling language for the efficient design, implementation, and testing of Android applications.
Int. J. Softw. Tools Technol. Transf., 2018

2015
Model and program repair via SAT solving.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015


  Loading...