Courses taught

DAT151 Database and Unix System Administration

Publications

  • Efficient techniques and tools for software testing based on traces and coverage analysis

    (2022)
  • MC/DC Test Cases Generation Based on BDDs

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2021)
  • Hardware-Assisted Online Data Race Detection

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Pun, Ka I, Stolz, Volker (2021)
  • Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2020)
  • Non-intrusive MC/DC measurement based on traces

    Ahishakiye, Faustin, Stolz, Volker, Jaksic, Svetlana, Lange, Felix Dino, Schmitz, Malte, Thoma, Daniel (2019)
  • Show all