@booklet {BeL13, title = {Special Issue: 11th IEEE International Working Conference on Source Code Analysis and Manipulation}, howpublished = {IET Software}, volume = {7}, number = {3}, year = {2013}, publisher = {The Institution of Engineering and Technology}, editor = {{\'A}rp{\'a}d Besz{\'e}des and Lawrie, Dawn J} }