Maintenance work on the ZORA databases is scheduled for Wednesday 22 May 2019 from 20:00-22:00. During this period ZORA and JDB will not be available. Thank you for your understanding.
Scalabrino, Simone; Grano, Giovanni; Di Nucci, Dario; Guerra, Michele; De Lucia, Andrea; Gall, Harald; Oliveto, Rocco (2018). OCELOT"" A Search-Based Test Data Generation Tool for C. In: Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering, Montpellier, France, 3 September 2018 - 7 September 2018.