Postprocessing of static analysis alarms

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

35 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Serebrenik, Alexander, Promotor
  • van den Brand, Mark G.J., Promotor
Award date7 Jul 2020
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-5037-1
Publication statusPublished - 7 Jul 2020

Bibliographical note

Proefschrift.

Cite this

Muske, T. B. (2020). Postprocessing of static analysis alarms. Eindhoven University of Technology.