Loop Summarization Using Abstract Transformers.

Daniel Kroening Natasha Sharygina Stefano Tonetta Aliaksei Tsitovich Christoph M. Wintersteiger Loop Summarization Using Abstract Transformers. 111-125 2008 ATVA http://dx.doi.org/10.1007/978-3-540-88387-6_10 conf/atva/2008 db/conf/atva/atva2008.html#KroeningSTTW08