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

View/Open

Master_Thesis_Tristan_Final_v2.pdf (776.5Kb)

Publication date

2024

Author

Albers, Tristan

Metadata

Show full item record

URI

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

Collections

• Theses