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.