Synthesizing Same-Language Summaries for Symbolic Execution

Gábor, Horváth [Horváth, Gábor (Informatika), author] ELTE IK PhD Informatika Doktori Iskola (ELTE / ELU FoI); Norbert, Pataki [Pataki, Norbert (Informatika), author] ELTE 3in Research Group, Martonvásár (ELTE / ELU FoI)

English Scientific Abstract (Conference paper)
    Identifiers
    • MTMT: 31622847
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2022-01-26 09:54