The optimization of a symbolic execution engine for detecting runtime errors

Kádár István: The optimization of a symbolic execution engine for detecting runtime errors.

[thumbnail of cscs_2016_035-036.pdf]
Előnézet
Cikk, tanulmány, mű
cscs_2016_035-036.pdf

Letöltés (35kB) | Előnézet
Mű típusa: Konferencia vagy workshop anyag
Befoglaló folyóirat/kiadvány címe: Conference of PhD Students in Computer Science
Dátum: 2016
Kötet: 10
Oldalak: pp. 34-35
Konferencia neve: Conference of PhD students in computer science (10.) (2016) (Szeged)
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/59478/
Kulcsszavak: Számítástechnika - előadáskivonat, Programozás - előadáskivonat
Megjegyzések: Bibliogr.: 35. p.
Feltöltés dátuma: 2019. okt. 25. 13:22
Utolsó módosítás: 2022. nov. 08. 10:18
URI: http://acta.bibl.u-szeged.hu/id/eprint/61721
Bővebben:
Tétel nézet Tétel nézet