Mobil Uygulamalar için Biçimsel Belirtimler Kullanarak Test Üretimi

Mobil uygulamaların popülaritesi artmaktadır ancak bu uygulamalar potansiyel hatalar barındırmaktadır. Varolan teknikler test sırasında biçimsel belirtimleri kullanmamaktadır. Bu projede makine öğrenmesi tabanlı bir yaklaşımla mobil uygulamları biçimsel belirtimler ile test etmeyi planlıyoruz.