Mitra Tabaei Befrouei

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

Collaborative distances:

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

2021

Mutation testing with hyperproperties.

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

Softw. Syst. Model., 2021

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

Abstraction and mining of traces to explain concurrency bugs.

Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher

Formal Methods Syst. Des., 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

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