_id,doi,title 4365,1556,Abstraction Refinement for Quantified Array Assertions