Counterexample Explanation by Anomaly Detection. - Stefan Leue; Mitra Tabaei Befrouei (SPIN, 2012)

Mining Sequential Patterns to Explain Concurrent Counterexamples. - Stefan Leue; Mitra Tabaei Befrouei (SPIN, 2013)

Error Invariants for Concurrent Traces. - Andreas Holzer; Daniel Schwartz-Narbonne; Mitra Tabaei Befrouei; Georg Weissenbacher; Thomas Wies (FM, 2016)

Abstraction and mining of traces to explain concurrency bugs. - Mitra Tabaei Befrouei; Chao Wang 001; Georg Weissenbacher (Formal Methods Syst. Des., 2016)

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)

Mutation testing with hyperproperties. - Andreas Fellner; Mitra Tabaei Befrouei; Georg Weissenbacher (Softw. Syst. Model., 2021)