Skip to main navigation Skip to search Skip to main content

Property-driven benchmark generation: Synthesizing programs of realistic structure

  • Bernhard Steffen
  • , Malte Isberner
  • , Stefan Naujokat
  • , Tiziana Margaria
  • , Maren Geske

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Property-driven benchmark generation: Synthesizing programs of realistic structure'. Together they form a unique fingerprint.
Sort by

Computer Science