Generating Software Tests Winter 2018/2019

The course is taught along with Prof. Dr. Andreas Zeller, and covers the following topics

  • Introduction to Testing, Basic Fuzzing and Coverage
  • Mutation based Fuzing
  • Fuzzing with Grammars
  • Testing with Mutations
  • Testing with Grammars
  • Efficient Grammar Fuzzing and Grammar Coverage
  • Testing Configurations
  • Parsing and Recombining Inputs
  • Probabilistic Grammar Fuzzing
  • Reducing Failure Inducting Tests
  • Carving Unit Tests
  • Fuzzing APIs
  • Web GUI Fuzzing
  • Information Flow
  • Mining Input Grammars
  • Search-Based Testing
  • Solving Constraints
  • Inferring Preconditions
  • Mutation Analysis
  • Fuzzing in the Large