Search Results - "Incorrectness Separation Logic" :: K.UTB vyhledávací portál

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

EffFix: Efficient and Effective Repair of Pointer Manipulating Programs

by Zhang, Yuntong, Costea, Andreea, Shariffdeen, Ridwan, McCall, Davin, Roychoudhury, Abhik
Published in ACM transactions on software engineering and methodology (21.02.2025)

Get full text

Journal Article

Loading…

Patch Space Exploration using Static Analysis Feedback

by Zhang, Yuntong, Costea, Andreea, Shariffdeen, Ridwan, McCall, Davin, Roychoudhury, Abhik
Year of Publication 01.08.2023

Get full text

Journal Article

Loading…

Patch Space Exploration using Static Analysis Feedback

by Zhang, Yuntong, Costea, Andreea, Shariffdeen, Ridwan, McCall, Davin, Roychoudhury, Abhik
Published in arXiv.org (01.08.2023)

Get full text

Paper

EffFix: Efficient and Effective Repair of Pointer Manipulating Programs

Patch Space Exploration using Static Analysis Feedback

Patch Space Exploration using Static Analysis Feedback

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database