Mitra Tabaei Befrouei

Identifiers

No identifiers captured yet.

Papers (2)

1. Mutation Testing with Hyperproperties cs.LO · 2019 · author #2
2. Error Invariants for Concurrent Traces cs.SE · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Georg Weissenbacher 2 shared papers
• Andreas Fellner 1 shared papers
• Andreas Holzer 1 shared papers
• Daniel Schwartz-Narbonne 1 shared papers
• Thomas Wies 1 shared papers