Simin Oraee

PhD student

Random testing of distributed systems with guarantees

  Thursday, 02 January 2020
  11:00 - 11:45


Distributed and concurrent applications often have subtle bugs that only get exposed under specific schedules. While these schedules may be found by systematic model checking techniques, in practice, model checkers do not scale to large systems. On the other hand, naive random exploration techniques often require a very large number of runs to find the specific interactions needed to expose a bug. In recent years, several random testing algorithms have been proposed that, on the one hand, exploit state-space reduction strategies from model checking and, on the other, provide guarantees on the probability of hitting bugs of certain Kinds.


Concurrency Combinatorics Distributed systems Software engineering Testing


Simin Oraee (سیمین اورعی) is a PhD student at Max Planck Institute for Software Systems (MPI-SWS), working under supervision of Rupak Majumdar.
She is broadly interested in testing and model checking of distributed and concurrent systems. Before she joined MPI-SWS, she did an internship on symbolic model checking of reactive systems at Institute of Science and Technology (IST Austria) under supervision of Krishnendu Chatterjee.