Vul4J: A Dataset of Reproducible Java Vulnerabilities Geared Towards the Study of Program Repair Techniques | IEEE Conference Publication | IEEE Xplore