Assertion-Directed Precondition Synthesis for Loops over Data Structures.

Juan Zhai, Hanfei Wang, Jianhua Zhao

Browse the full SETTA paper archive.