_id,doi,title
4404,1542,Synthesis of interface specifications for Java classes