GitHub - MatthiasGabriel/SemProgAnTr_HS19: "Concolic testing: An overview of the used techniques and its limits" - Report for the Seminar "Program Analysis and Transformation" in HS2019 about the topic concolic testing

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 103 Commits
images		images
sections		sections
sources		sources
subsections		subsections
.gitignore		.gitignore
abstract.tex		abstract.tex
seminar.tex		seminar.tex
seminarreferences.bib		seminarreferences.bib

About

"Concolic testing: An overview of the used techniques and its limits" - Report for the Seminar "Program Analysis and Transformation" in HS2019 about the topic concolic testing

concolic-execution concolic-testing