Heuristics to combat Path Explosion in Symbolic Execution and the Representativeness of the Test Suites.

Files

Master_Thesis_Tristan_Final_v2.pdf (776.55 KB)

Publication date

Authors

Albers, Tristan

Document Type

Master Thesis

Metadata

Show full item record

Collections

License

CC-BY-NC-ND

URI

https://studenttheses.uu.nl/handle/20.500.12932/46877