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
  • Survey on Runtime Verification (pdf)
  • AST Based Fault Localization (pdf) (Thema vergeben bitte nach alternativen ähnlichen Themen fragen)
  • Grey-box Fuzzing with well-formed Models(keine Ausschreibung,  bitte Email mit dem Titel: “[Thesis]-Grey-Box Fuzzing” to se-career@informatik.hu-....)
  • Optimising Coupling and Cohesion Metrics for Modular Neural Networks(keine Ausschreibung,  bitte Email mit dem Titel: “[Thesis]-ModularNN” to se-career@informatik.hu-....)
  • From Scripts to Computational Materials Science Data Analysis Workflows (pdf)
  • Fuzzing for Model Transformation Engines (pdf)
  • Evaluating Fuzzing for Model-Driven Software Engineering (MDSE) Tools (pdf)
  • **NEU** Parent Restarting for Workflow Systems (pdf)
  • **NEU** Microservices, Understanding the Concept (pdf)
  • **NEU** Adaptive parameters for Workflow Engines (pdf)
Bachelor/Master Thesis*
  • Diagnosis and Localization of Memory Leaks (pdf) (Thema vergeben bitte nach alternativen ähnlichen Themen fragen)
  • Analyzing Parameter Tuning in Search-Based Test Case Generation Techniques (pdf)
  • STARDUST II - Systematic Architecture Level Fault Diagnosis Using Statistical Techniques (pdf)
  • 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)(Thema vergeben bitte nach alternativen ähnlichen Themen fragen)
    • .. Automatic Program Repair Problems (pdf)(Thema vergeben bitte nach alternativen ähnlichen Themen fragen)
    • .. Regression Test Suite Generation and Augmentation Problems (pdf) (Thema vergeben bitte nach alternativen ähnlichen Themen fragen)
    • .. Test Case Selection and Prioritization Problems (pdf) (Thema vergeben bitte nach alternativen ähnlichen Themen fragen)
  • Automated Validation of Patch Correctness and Maintainability with Symbolic Execution (pdf)
  • Automated Documentation of Source Code (pdf) (Thema nicht mehr verfügbar bitte nach alternativen ähnlichen Themen fragen)
  • Vulnerability Detection with Character Level Language Models for Python (keine Ausschreibung, bitte Email mit dem Titel: “[Thesis]-Vulnerability Detection ” to se-career@informatik.hu-....)
  • Automatic Repair of Software Vulnerabilities (keine Ausschreibung, bitte Email mit dem Titel: “[Thesis]-Vulnerability Repair” to se-career@informatik.hu-....) 
  • Metamorphic Testing in Computational Materials Science Data Analysis Workflows (pdf)
  • Voice-driven specification with Python Speech Recognition (keine Ausschreibung,  bitte Email mit dem Titel: “[Thesis]-Voice-driven-specification” to se-career@informatik.hu-....) (Thema nicht mehr verfügbar bitte nach alternativen ähnlichen Themen fragen)
  • Voice-driven Test-Case Generation (keine Ausschreibung,  bitte Email mit dem Titel: “[Thesis]-Voice-driven-specification” to se-career@informatik.hu-....
  • **NEU** Optimizing a Neural Network Approach for the Reverse Transformation of Spin-Wave-Theory (pdf)
  • **NEU** Generator-based Fuzzing with Input Features (pdf)
  • **NEU** Analyzing the Language of Data Analysis Workflows (pdf)
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)
  • Code Generation from Natural Language Documentation (pdf) (Thema nicht mehr verfügbar bitte nach alternativen ähnlichen Themen fragen)
  • **NEU** Generating Semantically Correct Programs with seq2tree Transformer Networks (keine Ausschreibung, bitte Email mit dem Titel: “[Thesis]-seq2tree Program Generation” to se-career@informatik.hu-....)
  • **NEU** Automatic Reverse Engineering Scientific Models from Scientific Software (keine Ausschreibung, bitte Email mit dem Titel: “[Thesis]-Scientific Models” to se-career@informatik.hu-....)
  • **NEU** Empirical Study on Query Expansion
    Techniques for Semantic Code Search  (pdf)
  • **NEU** Grammar-based Fuzzing for Model-Driven Software Engineering (MDSE) Tools (pdf)
  • Behavioral Clustering-Guided Fuzz Testing (pdf)
  • Extending and Evaluating Alhazen using different Machine Learning approaches (pdf)
  • **NEU** Grammar-based Fuzzing for Workflow Engines (pdf)