Selected Publications

• N. bin Ali, E. Engström, M. Taromirad, M.R. Mousavi, N. Minhas, D. Helgesson, S. Kunze, M. Varshosaz. On the Search for Industry-Relevant Regression Testing Research. Empirical Software Engineering. Springer, 2019.
• B.K. Aichernig, W. Mostowski, M.R. Mousavi, M. Tappler, and M. Taromirad. Model Learning and Model-Based Testing. In Machine Learning for Dynamic Software Analysis. Volume 11026 of LNCS, Springer, 2018.
• H. Araujo, G. Carvalho, M. Mohaqeqi, M.R. Mousavi, and A. Sampaio. Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation. Science of Computer Programming. Elsevier, 2017
• H. Beohar and M.R. Mousavi. Input-Output Conformance Testing for Software Product Lines. Journal of Logic and Algebraic Methods in Programming, 85(6): 1131-1153. Elsevier, 2016.

• N. Khakpour and M.R. Mousavi. Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015), LIPIcs–Leibniz International Proceedings in Informatics, 2015.
• J.F. Groote and M.R. Mousavi. Modeling and Analysis of Communicating Systems, MIT Press, 2014.

Full publication list, where most papers are available for download.

Outreach

We organise / have organised several outreach activities through our DriverLeics Team and the Leicester AI Network. Here are some examples and outreach material:

• Leaflet produced in collaboration with London Mathematical Society
• Film produced in collaboration with the Royal Society

Our research and outreach has been featured on Aljazeera, BBC Radio 4, BBC Leicester Radio, and Discovery Education (for Key Stage 2 Children).

Service

Contact Information