Keresés
1 találatból megjelenítve: 1-2
Cím: Ciklusok modellezése szimbolikus végrehajtással
Szerző:
Dátum: 2018-06-29
Feltöltve: 2019-11-07
(2018-06-29)
Cím: Improved Loop Modeling in Symbolic Execution for C Family Languages
Szerző:
Dátum: 2019-05-15
Feltöltve: 2020-02-12
(2019-05-15)
Szimbolikus végrehajtás általi ciklusmodellezési lehetőségek vizsgálata, az elemzés lefedettségének növelése céljából.