Proofs and Refutations in Invariant-Based Programming. - Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back (IFM, 2014)

On Optimization of Test Parallelization with Constraints. - Masoumeh Parsa; Adnan Ashraf; Dragos Truscan; Ivan Porres (Software Engineering (Workshops), 2016)

A Precise Pictorial Language for Array Invariants. - Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back (IFM, 2018)

A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. - Johannes Eriksson; Masoumeh Parsa (PADL, 2020)