Computing summaries of string loops in C for better testing and refactoring.

Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

Browse the full PLDI paper archive.