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 outreach activities on the theme of Trust in Autonomous Vehicles through our DriverLeics Team and the Leicester AI Network. Here you can find some examples of our outreach material:

• A Leaflet produced in collaboration with London Mathematical Society
• A 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). We have been actively participating in the TeenTech program, promoting science, technology, and engineering among children.

Service

Contact Information