Masoumeh Parsa

According to our database, Masoumeh Parsa authored at least 4 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams.

Johannes Eriksson, Masoumeh Parsa

Proceedings of the Practical Aspects of Declarative Languages, 2020

2018

A Precise Pictorial Language for Array Invariants.

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2016

On Optimization of Test Parallelization with Constraints.

Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

2014

Proofs and Refutations in Invariant-Based Programming.

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014