@Proceedings{sybmolicExecutionArzt2015,
  title = 	 {Proceedings of the 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2015)},
  author = {Steven Arzt, Siegfried Rasthofer, Robert Hahn and Eric Bodden},
  year = 	 {2015},
  month = 	 jun,
  publisher = {ACM}
}