Automated Test Generation for production systems with a Model-based Testing approach.
TeX Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin
figures
src
.gitignore
Dockerfile
Makefile
Makefile.include
README.md
bib-refs.bib
circle.yml
cleanthesis.sty
thesis.tex

README.md

PhD Thesis

Circle
CI

Latest PDF version can be found in Circle CI latest build's artifacts. Go to Circle CI, then click on the last build number, then open the tab named "Artifacts" (you must be logged in to see it). You should see a PDF file named thesis-<COMMIT_SHA>.pdf.