Stephen N. Freund, Corina S. Pasareanu: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013. ACM 2013, ISBN 978-1-4503-2128-0