[1]
T. Pani, H. Veith, and F. Zuleger, “Loop Patterns in C Programs”,
ECEASST
, vol. 72, Nov. 2015.