Skip to content

Latest commit

 

History

History
8 lines (7 loc) · 388 Bytes

README.md

File metadata and controls

8 lines (7 loc) · 388 Bytes

Master's thesis

The repository for my Master's thesis: Property-based testing Rebel semantics in the generated code

Contents

  • The final version of the thesis.
  • The slides used during the defense.
  • The source of the thesis (written in LaTeX).
  • The source of the test framework created throughout the thesis. Including instructions in the README how to run it.