Special Issue on Program Verification, Automated Debugging and Symbolic Computation. (May 2017) - Jebelean, Tudor; Li, Wei; Wang, Dongming