Filtrele
Software equivalence checking based on unit testing and symbolic execution
Sembolik yürütmeden elde edilen birim testlerin yazılım denkliğini kanıtlamada kullanılması
Yükleniyor
Tez No: 540461
Arama sonucunda 1 kayıt bulundu.