@inproceedings {221,
	title = {Static Slack-Based Instrumentation of Programs},
	booktitle = {Proc. of the 20th IEEE International Conference on Emerging Technologies \& Factory Automation (ETFA)},
	year = {2015},
	month = {September},
	address = {Luxembourg},
	doi = {10.1109/ETFA.2015.7301505},
	author = {Hany Kashif and Johnson Thomas and Hiren Patel and Sebastian Fischmeister}
}
