Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Kroening, Daniel; Păsăreanu, Corina S. (Springer International Publishing : Imprint: Springer, 2015)