Mgr. Jiří Slabý, Ph.D.

Disertační práce

Automatic Bug-finding Techniques for Large Software Projects

Automatic Bug-finding Techniques for Large Software Projects
Anotace:
Cílem této práce je výzkum aplikovatelnosti současných technik pro automa- tické hledání chyb na velkých softwarových projektech. Vzhledem k tomu, že tyto projekty bývají komplexní, je poptávka po výkonných analyzátorech, které mohou takové projekty zpracovat bez přílišného generování falešných hlášení. Ke splnění tohoto cíle se práce zaměřuje na statické analyzátory, zejména pak na ty, které používají …více
Abstract:
This thesis studies the application of contemporary automatic bug-finding techniques to large software projects. As they tend to be complex systems, there is a call for efficient analyzers that can exercise such projects without generating too many false positives. To fulfill these requirements, this thesis aims at the static analysis with the primary focus at techniques like the abstract interpretation …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 31. 10. 2013

Obhajoba závěrečné práce

  • Obhajoba proběhla 4. 3. 2014
  • Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
  • Oponent: prof. Ing. Tomáš Vojnar, Ph.D., Prof. Dr. Dirk Beyer

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masarykova univerzita

Fakulta informatiky

Doktorský studijní program / obor:
Informatika (čtyřleté) / Informatika

Práce na příbuzné téma