Mitra Tabaei Befrouei

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 7

Top Topics

Mining Sequential Patterns

Mutation Testing

Distributed Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation testing with hyperproperties. Softw. Syst. Model. 20 (2) (2021)
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation Testing with Hyperproperties. CoRR (2019)
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation Testing with Hyperproperties. SEFM (2019)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
Randomized testing of distributed systems with probabilistic guarantees. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Abstraction and mining of traces to explain concurrency bugs. Formal Methods Syst. Des. 49 (1-2) (2016)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. CoRR (2016)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. FM (2016)
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Abstraction and Mining of Traces to Explain Concurrency Bugs. RV (2014)
Stefan Leue, Mitra Tabaei Befrouei
Mining Sequential Patterns to Explain Concurrent Counterexamples. SPIN (2013)
Stefan Leue, Mitra Tabaei Befrouei
Counterexample Explanation by Anomaly Detection. SPIN (2012)