Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

Bachelor- und Masterarbeiten


 

Aktuell werden am Lehrstuhl Software Engineering zu folgenden Themenstellungen Bachelor- und Masterarbeiten angeboten.

Bachelor Thesis
  • Incremental Fault Tree Analysis in CoWolf (pdf)
  • ProSpecMi- Enriched Tool Support for Probabilistic Specification Mining (pdf)
  • An Extension to CoWolf framework with Stochastic Regular Expressions (pdf)
  • Detection and Localization of Performance Bugs (pdf)
  • Probabilistic Typestates via Testing (pdf)
  • **NEU** AST Based Fault Localization (pdf)
Bachelor/Master Thesis*
  • Diagnosis and Localization of Memory Leaks (pdf)
  • Statistical Methods for Memory Leak Detection via Regression Testing (pdf)
  • Analyzing Parameter Tuning in Search-Based Test Case Generation Techniques (pdf)
  • STARDUST II - Systematic Architecture Level Fault Diagnosis Using Statistical Techniques (pdf)
  • A Grammar Based Process Mining Tool (pdf)
  • Automated Test Case Generation with Symbolic Execution for Regression Testing (pdf)
  • **NEU** Software Enginering and Debugging of Libre Office
    • Grammar-Based Fuzzing for LibreOffice (pdf)
    • Grammar-Based Repair for Open Office Documents (pdf)
    • Grammar-Based Generation of Debugging Hypotheses for Libre Office (pdf)
  • Search-Space Classification for ..
    • .. Requirement Prioritization and Release Planning Problems (pdf)
    • .. Automatic Program Repair Problems (pdf)
    • .. Regression Test Suite Generation and Augmentation Problems (pdf)
    • .. Test Case Selection and Prioritization Problems (pdf)
  • **NEU** Improving SBFL with Machine-Learning I - Pre-Processing (pdf)
  • **NEU** Improving SBFL with Machine-Learning II - Algorithm Tuning (pdf)

*Die Problemstellung kann an die Anforderungen einer Bachelor oder Master Thesis angepasst werden.

Master Thesis
  • Adaptive Genetic Algorithms in Search-Based Software Engineering (pdf)
  • An Evaluation of Metaheuristic Search Strategies for Automatic Software Repair (pdf)
  • Fault Localization and Debugging with Probabilistic Slicing (pdf)
  • Abstractions for Probabilistic Model Checking (pdf)