I (Zac) am working on several related papers at the moment; and mostly using the Sphinx build system since it has some lovely semantic markup and can output to HTML or LaTeX.
As requested, I’ve written up abstracts for the five (!) papers I’m currently working on, in order to discuss with Tony where and when they might be published. I’d like to publish both the HypoFuzz papers close to simultaneously if possible.
My evaluation sections are basically “imagine whatever would make a compelling paper”, but I think the plans are all ambitious-but-feasible in scope and the indicative results I already have for each project are pretty impressive.
- HypoFuzz: adaptive fuzzing of property-based test suites
- Augumenting generational testing with feedback-guided mutation
- Schemathesis: fuzzing web APIs with property-based testing
- Generating inhumane Python source code with Hypothesmith
- Scrutineer: Integrating Fault Localisation with Property-Based Testing
- ‘Ghostwriting’ property-based tests