Mitra Tabaei Befrouei

According to our database, Mitra Tabaei Befrouei authored at least 6 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Mutation Testing with Hyperproperties.

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

Randomized testing of distributed systems with probabilistic guarantees.

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher

Proc. ACM Program. Lang., 2018

2016

Error Invariants for Concurrent Traces.

Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies

Proceedings of the FM 2016: Formal Methods, 2016

2014

Abstraction and Mining of Traces to Explain Concurrency Bugs.

Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

Mining Sequential Patterns to Explain Concurrent Counterexamples.

Stefan Leue, Mitra Tabaei Befrouei

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

Counterexample Explanation by Anomaly Detection.

Stefan Leue, Mitra Tabaei Befrouei

Proceedings of the Model Checking Software - 19th International Workshop, 2012