Information System of Masaryk University 

Archive of Thesis/Dissertation Jiří Slabý FI D-IN4 IN

česky | in English

Section:
Use to change section. Address within IS:

Masaryk University

Faculty of Informatics

doctoral degree programme/field of study:
Informatics (4-years)/Informatics

Theses on a related topic

Display description

Mgr. Jiří Slabý

Automatic Bug-finding Techniques for Large Software Projects

Abstract: 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í …more

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 …more

bug-finding large software static analysis abstract interpretation symbolic execution slicing bug database software competition

Language used: English

  • Entered/Edited 5. 3. 2014 10:46, Ada Nazarejová
  • Record made 8. 7. 2008 12:28, Ada Nazarejová
  • Accessible from: 31. 10. 2013 12:34, Ada Nazarejová
  • Thesis/dissertation received 31. 10. 2013 12:34, Ada Nazarejová

Dissertation defense

  • Took place 4. 3. 2014, the thesis was defended successfully.

Supervisor:

  • prof. RNDr. Antonín Kučera, Ph.D., KTP FI MU, Department of Computer Science - Faculty of Informatics

Consultant:

  • doc. RNDr. Jan Strejček, Ph.D., KTP FI MU, Department of Computer Science - Faculty of Informatics

Readers:

Full text of thesis

Citation record

ISO 690-compliant citation record: LaTeX | HTML | text | BibTeX | Wikipedie

Thesis check

The thesis has been checked: 1. 11. 2013 10:03, prof. RNDr. Antonín Kučera, Ph.D.


Toolsdisplay in ascending orderdisplay in descending order Click to count the files which have not been read Click to calculate the total space occupied Zobrazit mapu souborů. folders first, files seconddisplay in ascending orderdisplay in descending order File or folderdisplay in ascending orderdisplay in descending order Uploaded/Created bydisplay in ascending orderdisplay in descending order Uploaded/Createddisplay in ascending orderdisplay in descending order expiration date: display in ascending order.expiration date: display in descending order.
Toolsthis folder,  Archive of Thesis/Dissertation Jiří Slabý FI D-IN4 IN /fi_d/ 1.  2. 2013
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile annotation_english.txt, 2,3 KB, plain textAnotace anglicky annotation_english.txtSlabý, J.28. 10. 2013
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile annotation.txt, 2,5 KB, plain textAnotace česky annotation.txtSlabý, J.29. 10. 2013
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile keywords.txt, 134 B, plain textKlíčová slova keywords.txtSlabý, J.26.  9. 2013
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile komise.pdf, 300 KB, PDF File komise.txt, 1 KB, plain textKomise komise.pdfNazarejová, A.18.  2. 2014
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile dis.pdf, 892 KB, PDF File dis.txt, 310,9 KB, plain textPlný text práce dis.pdfSlabý, J.30. 10. 2013
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile prof.Beyer.pdf, 866,5 KB, PDF File prof.Beyer.txt, 4,5 KB, plain textPosudek oponenta prof.Beyer.pdfNazarejová, A. 3.  3. 2014
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile prof.Vojnar.pdf, 1,4 MB, PDF File prof.Vojnar.txt, 9,7 KB, plain textPosudek oponenta prof.Vojnar.pdfNazarejová, A.22.  1. 2014
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile prof.Kucera.pdf, 303,6 KB, PDF File prof.Kucera.txt, 1,3 KB, plain textPosudek vedoucího prof.Kucera.pdfNazarejová, A.22.  1. 2014
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsFile upr.dis.pdf, 1,2 MB, PDF File upr.dis.txt, 311 KB, plain textUpravená verze disertace po obhajobě upr.dis.pdfNazarejová, A.25.  7. 2014
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Browse this folder after logging into the System (provided you have an IS password, you can have more files displayed here)

Other references 


Go to top | Current date and time: 25. 9. 2017 22:36, Week 39 (odd)

Contact: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, Office for Studies, access rights administrators, is-technicians, e-technicians, IT support | Use of cookies | learn more about Information System