Name Card

Full name Familienname, Vorname
Tabaei Befrouei, Mitra
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fellner, Andreas ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg Mutation testing with hyperpropertiesArtikel Article 2021
2Fellner, Andreas ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Mutation Testing with HyperpropertiesKonferenzbeitrag Inproceedings 2019
3Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Randomized testing of distributed systems with probabilistic guaranteesArtikel Article 2018
4Tabaei Befrouei Mitra - 2016 - Abstraction and mining of traces to explain...pdf.jpgTabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg Abstraction and mining of traces to explain concurrency bugsArticle Artikel Oct-2016
5Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas Error Invariants for Concurrent TracesKonferenzbeitrag Inproceedings 2016
6Tabaei Befrouei Mitra - 2016 - Effective error explanation techniques for...pdf.jpgTabaei Befrouei, Mitra Effective error explanation techniques for concurrent softwareThesis Hochschulschrift 2016
7Tabaei Befrouei, Mitra Abstraction and mining of traces to explain concurrency bugsKonferenzbeitrag Inproceedings2015
8Tabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg Abstraction and Mining of Traces to Explain Concurrency BugsKonferenzbeitrag Inproceedings 2014
9Leue, Stefan ; Befrouei, Mitra Tabaei Mining Sequential Patterns to Explain Concurrent CounterexamplesKonferenzbeitrag Inproceedings 2013