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