Software products are increasingly employed in a wide range of areas where failu res may have serious consequences. Examples include medical applications, contro l systems, online banking systems, etc. As a result, tasks that aim at ensuring software reli
Description:
Thesis (M.S.)--American University of Beirut, Dept. of Computer Science, 2009.;"Advisor : Dr. Wassim Masri, Assistant Professor , Computer Science--Member of Committee : Dr. Haidar Safa, Assistant Professor , Computer Science--Member of Committee : Dr. Jo
