Personal information

Emails & domains

Verified email domains

Websites & social links

Home Page

Other IDs

Scopus Author ID: 7005703024

Keywords

Software Testing, Conformance Testing, Model-Based Testing, Cyber-Physical Systems, Software Product

Countries

United Kingdom

Activities

Collapse all

Employment (2)

King's College London: London, GB

2021-08-15 to present | Professor of Software Engineering (Informatics)
Employment
Source: Self-asserted source
Mohammad Reza Mousavi

University of Leicester: Leicester, GB

2017-07-01 to 2021-08-14 | Professor of Data-Oriented Software Engineering (School of Informatics)
Employment
Source: Self-asserted source
Mohammad Reza Mousavi

Works (50 of 85)

Items per page:
Page 1 of 2

Towards a Formal Testing Theory for Quantum Processes

2025 | Book chapter
DOI: 10.1007/978-3-031-73709-1_8
Contributors: Mohammad Reza Mousavi; Kirstin Peters; Anna Schmitt
Source: check_circle
Crossref

Causal Model Discovery in Cancer Guided by Cellular Pathways

2024 | Book chapter
DOI: 10.1007/978-3-031-71671-3_13
Contributors: Rodrigo Henrique Ramos; Adenilso Simao; Mohammad Reza Mousavi
Source: check_circle
Crossref

MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions

Proceedings of the ACM on Software Engineering
2024-07-12 | Journal article
DOI: 10.1145/3660801
Contributors: Ying Xiao; Jie M. Zhang; Yepang Liu; Mohammad Reza Mousavi; Sicen Liu; Dingyuan Xue
Source: check_circle
Crossref

Delta Debugging for Property-Based Regression Testing of Quantum Programs

2024-04-16 | Conference paper
DOI: 10.1145/3643667.3648219
Contributors: Gabriel Joseph Pontolillo; Mohammad Reza Mousavi
Source: check_circle
Crossref

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning

IEEE Transactions on Software Engineering
2024-03 | Journal article
DOI: 10.1109/TSE.2024.3358416
Contributors: Uraz Cengiz Türker; Robert M. Hierons; Khaled El-Fakih; Mohammad Reza Mousavi; Ivan Y. Tyukin
Source: check_circle
Crossref

Property-Based Testing and Debugging of Quantum Programs (Keynote)

2024-03-11 | Conference paper
DOI: 10.1145/3660829.3661031
Contributors: Mohammad Reza Mousavi
Source: check_circle
Crossref

Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving

ACM Transactions on Software Engineering and Methodology
2024-01-31 | Journal article
DOI: 10.1145/3624736
Contributors: Sina Entekhabi; Wojciech Mostowski; Mohammad Reza Mousavi
Source: check_circle
Crossref

Compositional Learning for Interleaving Parallel Automata

2023 | Book chapter
DOI: 10.1007/978-3-031-30829-1_20
Contributors: Faezeh Labbaf; Jan Friso Groote; Hossein Hojjat; Mohammad Reza Mousavi
Source: check_circle
Crossref

Automata Learning for Dynamic Software Product Lines

2023-08-28 | Conference paper
DOI: 10.1145/3579027.3609001
Contributors: Mohammad Reza Mousavi
Source: check_circle
Crossref

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review

ACM Transactions on Software Engineering and Methodology
2023-04-30 | Journal article
DOI: 10.1145/3542945
Contributors: Hugo Araujo; Mohammad Reza Mousavi; Mahsa Varshosaz
Source: check_circle
Crossref

Trustworthy Autonomous Systems Through Verifiability

Computer
2023-02 | Journal article
DOI: 10.1109/MC.2022.3192206
Contributors: Mohammad Reza Mousavi; Ana Cavalcanti; Michael Fisher; Louise Dennis; Rob Hierons; Bilal Kaddouh; Effie Lai-Chong Law; Rob Richardson; Jan Oliver Ringer; Ivan Tyukin et al.
Source: check_circle
Crossref

DyNetKAT: An Algebra of Dynamic Networks

2022 | Book chapter
DOI: 10.1007/978-3-030-99253-8_10
Contributors: Georgiana Caltais; Hossein Hojjat; Mohammad Reza Mousavi; Hünkar Can Tunç
Source: check_circle
Crossref

Trustworthy Autonomous Systems (TAS): The Verifiability Approach

2022 | Conference paper
DOI: 10.26439/ciis2022.6063
Contributors: Mohammad Reza Mousavi
Source: check_circle
Crossref

Learning by sampling: learning behavioral family models from software product lines

Empirical Software Engineering
2021-01 | Journal article
DOI: 10.1007/s10664-020-09912-w
Part of ISSN: 1382-3256
Part of ISSN: 1573-7616
Funded by PROPOSAL-ID:

UKRI Trustworthy Autonomous Systems Node on Verifiability (EP/V026801/1)
Source: Self-asserted source
Mohammad Reza Mousavi

Learning to Reuse: Adaptive Model Learning for Evolving Systems

2019 | Book chapter
DOI: 10.1007/978-3-030-34968-4_8
Contributors: Carlos Diego N. Damasceno; Mohammad Reza Mousavi; Adenilso da Silva Simao
Source: check_circle
Crossref

Hierarchical featured state machines

Science of Computer Programming
2019-02 | Journal article
DOI: 10.1016/j.scico.2018.10.001
Contributors: Vanderson Hafemann Fragal; Adenilso Simao; Mohammad Reza Mousavi
Source: check_circle
Crossref

Sound conformance testing for cyber-physical systems: Theory and implementation

Science of Computer Programming
2018-09 | Journal article
DOI: 10.1016/j.scico.2017.07.002
Contributors: Hugo Araujo; Gustavo Carvalho; Morteza Mohaqeqi; Mohammad Reza Mousavi; Augusto Sampaio
Source: check_circle
Crossref

Input–output conformance testing for software product lines

Journal of Logical and Algebraic Methods in Programming
2016-10 | Journal article
DOI: 10.1016/j.jlamp.2016.09.007
Contributors: Harsh Beohar; Mohammad Reza Mousavi
Source: check_circle
Crossref

Basic behavioral models for software product lines: Expressiveness and testing pre-orders

Science of Computer Programming
2014 | Journal article
DOI: 10.1016/j.scico.2015.06.005
EID:

2-s2.0-84937604468
Contributors: Beohar, H.; Varshosaz, M.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier
grade
Preferred source (of 2)‎

Foreword

Science of Computer Programming
2014 | Journal article
DOI: 10.1016/j.scico.2013.11.039
EID:

2-s2.0-84901619986
Contributors: Mousavi, M.R.; Ravara, A.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Input-output conformance testing based on featured transition systems

Proceedings of the ACM Symposium on Applied Computing
2014 | Conference paper
DOI: 10.1145/2554850.2554949
EID:

2-s2.0-84905641858
Contributors: Beohar, H.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

On the complexity of input output conformance testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-07602-7_18
EID:

2-s2.0-84905822971
Contributors: Noroozi, N.; Mousavi, M.R.; Willemse, T.A.C.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10)

Science of Computer Programming
2014 | Journal article
DOI: 10.1016/j.scico.2012.03.003
EID:

2-s2.0-84889879583
Contributors: Mousavi, M.R.; Salaün, G.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Special section on Software Verification and Testing

Science of Computer Programming
2014 | Journal article
DOI: 10.1016/j.scico.2014.06.015
EID:

2-s2.0-84908371894
Contributors: Mousavi, M.R.; Pang, J.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Spinal test suites for software product lines

Electronic Proceedings in Theoretical Computer Science, EPTCS
2014 | Conference paper
DOI: 10.4204/EPTCS.141.4
EID:

2-s2.0-84939638773
Contributors: Beohar, H.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Early fault detection in DSLs using SMT solving and automated debugging

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-40561-7_13
EID:

2-s2.0-84885932542
Contributors: Keshishzadeh, S.; Mooij, A.J.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Exploiting algebraic laws to improve mechanized axiomatizations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-40206-7-5
EID:

2-s2.0-84885981989
Contributors: Aceto, L.; Goriac, E.-I.; Ingolfsdottir, A.; Mousavi, M.R.; Reniers, M.A.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Modular semantics for transition system specifications with negative premises

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-40184-8_5
EID:

2-s2.0-84882769400
Contributors: Churchill, M.; Mosses, P.D.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Special issue: Software verification and testing

Innovations in Systems and Software Engineering
2013 | Journal article
DOI: 10.1007/s11334-013-0211-1
EID:

2-s2.0-84878395603
Contributors: Mousavi, M.R.; Pang, J.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Special track on software verification and testing

Proceedings of the ACM Symposium on Applied Computing
2013 | Conference paper
EID:

2-s2.0-84877972559
Contributors: Pang, J.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Synchrony and asynchrony in conformance testing

Software and Systems Modeling
2013 | Journal article
DOI: 10.1007/s10270-012-0302-8
EID:

2-s2.0-84922338115
Contributors: Noroozi, N.; Khosravi, R.; Mousavi, M.R.; Willemse, T.A.C.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Decompositional reasoning about the history of parallel processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-29320-7_3
EID:

2-s2.0-84860686915
Contributors: Aceto, L.; Birgisson, A.; Ingólfsdóttir, A.; Mousavi, M.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Editorial message: Special track on software verification and testing

Proceedings of the ACM Symposium on Applied Computing
2012 | Conference paper
EID:

2-s2.0-84863586052
Contributors: Pang, J.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Formal modeling of evolving self-adaptive systems

Science of Computer Programming
2012 | Journal article
DOI: 10.1016/j.scico.2011.09.004
EID:

2-s2.0-84866410297
Contributors: Khakpour, N.; Jalili, S.; Talcott, C.; Sirjani, M.; Mousavi, M.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Formal verification of unreliable failure detectors in partially synchronous systems

Proceedings of the ACM Symposium on Applied Computing
2012 | Conference paper
DOI: 10.1145/2245276.2245369
EID:

2-s2.0-84863593444
Contributors: Atif, M.; Mousavi, M.R.; Osaiweran, A.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Integrating model-based and constraint-based testing using SpeceXplorer

Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012
2012 | Conference paper
DOI: 10.1109/ISSREW.2012.88
EID:

2-s2.0-84873352644
Contributors: Vishal, V.; Kovacioglu, M.; Kherazi, R.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Mechanized extraction of topology anti-patterns in wireless networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-30729-4_12
EID:

2-s2.0-84864375717
Contributors: Woehrle, M.; Bakhshi, R.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Rule formats for distributivity

Theoretical Computer Science
2012 | Journal article
DOI: 10.1016/j.tcs.2012.07.036
EID:

2-s2.0-84866744033
Contributors: Aceto, L.; Cimini, M.; Ingolfsdottir, A.; Mousavi, M.; Reniers, M.A.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier
grade
Preferred source (of 3)‎

Towards model-based testing of electronic funds transfer systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-29320-7_17
EID:

2-s2.0-84860689535
Contributors: Asaadi, H.R.; Khosravi, R.; Mousavi, M.; Noroozi, N.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Automated verification of executable UML models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-25271-6_12
EID:

2-s2.0-84255177328
Contributors: Hvid Hansen, H.; Ketema, J.; Luttik, B.; Mousavi, M.; Van De Pol, J.; Dos Santos, O.M.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Formal analysis of systemc designs in process algebra

Fundamenta Informaticae
2011 | Journal article
DOI: 10.3233/FI-2011-391
EID:

2-s2.0-80052639615
Contributors: Hojjat, H.; Mousavi, M.R.; Sirjani, M.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Process algebra as a common framework for hardware/software coverification

IEEE Embedded Systems Letters
2011 | Journal article
DOI: 10.1109/LES.2010.2091621
EID:

2-s2.0-79953121557
Contributors: Raffelsieper, M.; Mousavi, M.R.; Sleuters, J.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

SOS rule formats for zero and unit elements

Theoretical Computer Science
2011 | Journal article
DOI: 10.1016/j.tcs.2011.01.024
EID:

2-s2.0-79959721587
Contributors: Aceto, L.; Cimini, M.; Ingolfsdottir, A.; Mousavi, M.; Reniers, M.A.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Symbolic power analysis of cell libraries

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-24431-5_11
EID:

2-s2.0-80052692696
Contributors: Raffelsieper, M.; Mousavi, M.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Synchronizing asynchronous conformance testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-24690-6_23
EID:

2-s2.0-81055124333
Contributors: Noroozi, N.; Khosravi, R.; Mousavi, M.R.; Willemse, T.A.C.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

A rule format for unit elements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-11266-9_12
EID:

2-s2.0-77249145965
Contributors: Aceto, L.; Ingolfsdottir, A.; Mousavi, M.; Reniers, M.A.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Checking and deriving module paths in Verilog cell library descriptions

Proceedings -Design, Automation and Test in Europe, DATE
2010 | Conference paper
EID:

2-s2.0-77953097393
Contributors: Raffelsieper, M.; Mousavi, M.R.; Strolenberg, C.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Formal specification and analysis of Accelerated Heartbeat Protocols

Summer Computer Simulation Conference, SCSC 2010 - Proceedings of the 2010 Summer Simulation Multiconference, SummerSim 2010
2010 | Conference paper
EID:

2-s2.0-84871372932
Contributors: Atif, M.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier

Lifting non-finite axiomatizability results to extensions of process algebras

Acta Informatica
2010 | Journal article
DOI: 10.1007/s00236-010-0114-7
EID:

2-s2.0-77952668658
Contributors: Aceto, L.; Fokkink, W.; Ingolfsdottir, A.; Mousavi, M.R.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier
grade
Preferred source (of 3)‎

On rule formats for zero and unit elements

Electronic Notes in Theoretical Computer Science
2010 | Journal article
DOI: 10.1016/j.entcs.2010.08.009
EID:

2-s2.0-77956389758
Contributors: Aceto, L.; Cimini, M.; Ingolfsdottir, A.; Mousavi, M.R.; Reniers, M.A.
Source: Self-asserted source
Mohammad Reza Mousavi via Scopus - Elsevier
Items per page:
Page 1 of 2

Peer review (11 reviews for 5 publications/grants)

Review activity for Empirical software engineering. (2)
Review activity for Formal aspects of computing. (1)
Review activity for Formal methods in system design. (2)
Review activity for Science of computer programming. (2)
Review activity for The Journal of systems and software. (4)
How many people are using ORCID?