Loop Summarization Using Abstract Transformers.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Browse the full ATVA paper archive.