Synthesizing Same-Language Summaries for Symbolic Execution

Gábor, Horváth [Horváth, Gábor (Informatika), szerző] PhD Informatika Doktori Iskola (ELTE / IK); Norbert, Pataki [Pataki, Norbert (Informatika), szerző] ELTE 3in Kutatócsoport, Martonvásár (ELTE / IK)

Angol nyelvű Tudományos Absztrakt / Kivonat (Egyéb konferenciaközlemény)
    Azonosítók
    • MTMT: 31622847
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-12-02 22:19