Property-driven benchmark generation: synthesizing programs of realistic structure
Crossref DOI link: https://doi.org/10.1007/s10009-014-0336-z
Published Online: 2014-08-09
Published Print: 2014-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Steffen, Bernhard
Isberner, Malte
Naujokat, Stefan
Margaria, Tiziana
Geske, Maren
Text and Data Mining valid from 2014-08-09