The optimization of a symbolic execution engine for detecting runtime errors

Elmentve itt :
Bibliográfiai részletek
Szerző: Kádár István
Testületi szerző: Conference of PhD students in computer science (10.) (2016) (Szeged)
Dokumentumtípus: Könyv része
Megjelent: 2016
Sorozat:Conference of PhD Students in Computer Science 10
Kulcsszavak:Számítástechnika - előadáskivonat, Programozás - előadáskivonat
Online Access:http://acta.bibl.u-szeged.hu/61721
LEADER 00763naa a2200181 i 4500
001 acta61721
005 20221108101833.0
008 191025s2016 hu o 1|| zxx d
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a zxx 
100 1 |a Kádár István 
245 1 4 |a The optimization of a symbolic execution engine for detecting runtime errors  |h [elektronikus dokumentum] /  |c  Kádár István 
260 |c 2016 
300 |a 34-35 
490 0 |a Conference of PhD Students in Computer Science  |v 10 
695 |a Számítástechnika - előadáskivonat, Programozás - előadáskivonat 
710 |a Conference of PhD students in computer science (10.) (2016) (Szeged) 
856 4 0 |u http://acta.bibl.u-szeged.hu/61721/1/cscs_2016_035-036.pdf  |z Dokumentum-elérés