Masoumeh Parsa
Johannes Eriksson
Masoumeh Parsa
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams.
196-212
2020
PADL
https://doi.org/10.1007/978-3-030-39197-3_13
conf/padl/2020
db/conf/padl/padl2019.html#ErikssonP20
Johannes Eriksson
Masoumeh Parsa
Ralph-Johan Back
A Precise Pictorial Language for Array Invariants.
151-160
2018
IFM
https://doi.org/10.1007/978-3-319-98938-9_9
conf/ifm/2018
db/conf/ifm/ifm2018.html#ErikssonPB18
Masoumeh Parsa
Adnan Ashraf
Dragos Truscan
Ivan Porres
On Optimization of Test Parallelization with Constraints.
164-171
2016
Software Engineering (Workshops)
https://ceur-ws.org/Vol-1559/paper21.pdf
conf/se/2016w
db/conf/se/se2016w.html#ParsaATP16
Johannes Eriksson
Masoumeh Parsa
Ralph-Johan Back
Proofs and Refutations in Invariant-Based Programming.
189-204
2014
IFM
https://doi.org/10.1007/978-3-319-10181-1_12
conf/ifm/2014
db/conf/ifm/ifm2014.html#ErikssonPB14
Adnan Ashraf
Ralph-Johan Back
Johannes Eriksson
Ivan Porres
Dragos Truscan