Synthesizing Same-Language Summaries for Symbolic Execution

Gábor, Horváth [Horváth, Gábor (Informatika), author] Doctoral School of Informatics (ELTE / ELU FoI); Norbert, Pataki [Pataki, Norbert (Informatika), author] ELTE 3in Research Group, Martonvásár (ELTE / ELU FoI)

English Abstract (Conference paper) Scientific
    Identifiers
    • MTMT: 31622847
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2022-11-29 16:14