Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li. Precondition Calculation for Loops Iterating over Data Structures. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1-3, 2016. pages 132-143, IEEE, 2016. [doi]
Abstract is missing.