Symbolic execution and program synthesis : a general methodology for software verification

Aachen (2019) [Dissertation / PhD Thesis]

Page(s): Online-Ressource (454 Seiten) : Illustrationen

Authors

Selected Authors

Ströder, Thomas

Identifier

  • REPORT NUMBER: RWTH-2019-01779