Improved Loop Modeling in Symbolic Execution for C Family Languages
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.
Mentés helye:
| Szerző: | |
|---|---|
| Közreműködő(k): | |
| Formátum: | szakdolgozat |
| Nyelv: | angol |
| Megjelenés: |
2019-05-15
|
| Tárgyszavak: | |
| Online elérés: | http://hdl.handle.net/10831/46501?sublib=L_042 |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|