Proje özeti
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.