Skip to content

Dr Raluca Lefticaru

Assistant Professor

Faculty/Dept/School Department of Computer Science
(Faculty of Engineering and Informatics)
Telephone +441274 232170


Raluca is an Assistant Professor in Computer Science at the University of Bradford and a Fellow of the Higher Education Academy (FHEA).  She is also a Visiting Researcher at the University of Sheffield, affiliated with the Testing group.  Her research interests include software testing, especially model-based testing using evolutionary approaches, formal specification methodologies, P systems testing and verification. 

Personal website:

Recent activities: 


Research Interests

  • Software Testing
  • Model-Based Testing
  • Search-Based Software Engineering
  • Membrane Computing
  • Simulation and Verification
Professional Activities

  • Co-chair of the 17th Workshop on Advances in Model-Based Testing (A-MOST 2021), 12 April, 2021, co-located with ICST 2021
  • Co-chair of the 4th Annual Innovative Engineering Research Conference (AIERC 2021), Bradford, UK, 23 April 2021
  • Co-chair of the 16th Workshop on Advances in Model-Based Testing (A-MOST 2020), 24 October, 2020, co-located with ICST 2020
  • Co-chair of the Student and Short Paper Track at the 11th Symposium on Search-Based Software Engineering (SSBSE 2019), Tallinn, Estonia, 31 Aug–2 Sep, 2019
  • Communication Chair of the 18th International Conference on Membrane Computing (CMC18), Bradford, UK, 24–28 July, 2017
PC Member

SEFM 2021FMAS 2021EDMA-2021A-MOST 2021ECST 2021AIERC 2021FMAS 2020A-MOST 2020SSBSE 2020ECST 2020, SSBSE 2019CMC19WMC 2018EDMA 2017SSBSE 2016SSBSE 2015WS-FMDS 2014CSB 2014SSBSE 2014WS-FMDS 2013WS-FMDS 2012MOTIP 2010MOTIP 2009

  • Expert Systems 
  • International Journal of Computer Mathematics
  • International Journal of Computers, Communications and Control
  • International Journal of Natural Computing Research
  • International Journal of Unconventional Computing
  • Journal of Membrane Computing 
  • Journal of Optimization 
  • Journal of Software: Evolution and Process 
  • Journal of Systems and Software 
  • Metaheuristics 
  • Romanian Journal of Information Science and Technology
  • Soft Computing 
  • Software Testing, Verification and Reliability
  • Theoretical Computer Science

Professional activities

  • 01-JAN-11: University of Pitesti, Romania - PhD in Computer Science
  • Formal Methods Europe, Member
  • Computability in Europe, Member
  • International Membrane Computing Society, Member


Peer Reviewed Journal
TitleSpiking neural P systems: matrix representation and formal verification (2021)
AuthorsMarian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna
JournalJournal of Membrane Computing
TitleFundamental results for learning deterministic extended finite state machines from queries (2021)
AuthorsFlorentin Ipate, Marian Gheorghe, Raluca Lefticaru
JournalTheoretical Computer Science
TitleA Verified and Optimised Stream X-Machine Testing Method, with Application to Cloud Service Certification (2020)
AuthorsAnthony J. H. Simons, Raluca Lefticaru
JournalSoftware Testing Verification and Reliability
TitleImplementation relations and testing for cyclic systems with refusals and discrete time (2020)
AuthorsRaluca Lefticaru, Robert M. Hierons, Manuel Nunez
JournalThe Journal of Systems and Software - Us Journal
TitleKernel P systems: from modelling to verification and testing (2018)
AuthorsGheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca
JournalTheoretical Computer Science
TitleP colonies and kernel P systems (2018)
AuthorsCsuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca
JournalInternational Journal of Advances in Engineering Sciences and Applied Mathematics
TitleDesign and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots (2016)
AuthorsWang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca
JournalIntegrated Computer-Aided Engineering
PublisherIOS Press
TitleA modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning (2015)
AuthorsWang X.;Zhang G.;Zhao J.;Rong H.;Ipate F.;Lefticaru R.
JournalInternational Journal of Computers, Communications and Control
Title3-Col problem modelling using simple kernel P systems (2013)
AuthorsGheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L.
JournalInternational Journal of Computer Mathematics
TitleA novel membrane algorithm based on particle swarm optimization for solving broadcasting problems (2012)
AuthorsZhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R.
JournalJournal of Universal Computer Science
TitleFormal verification of p systems using spin (2011)
AuthorsIpate F.;Lefticaru R.;Tudose C.
JournalInternational Journal of Foundations of Computer Science
TitleAn empirical evaluation of P system testing techniques (2011)
AuthorsLefticaru R.;Gheorghe M.;Ipate F.
JournalNatural Computing
TitleModel checking based test generation from P systems using p-lingua (2010)
AuthorsLefticaru R.;Ipate F.;Gheorghe M.
JournalRomanian Journal of Information Science and Technology
TitleTest generation from P systems using model checking (2010)
AuthorsIpate F.;Gheorghe M.;Lefticaru R.
JournalJournal of Logic and Algebraic Programming
TitleGenetic model based testing: A framework and a case study (2008)
AuthorsIpate F.;Lefticaru R.
JournalRomanian Journal of Information Science and Technology
Book Chapters
TitleMutation Testing for RoboChart (2021)
AuthorsR.M. Hierons, M. Gazda, P. Gomez-Abajo, R. Lefticaru, M.G. Merayo
JournalSoftware Engineering for Robotics
PublisherSpringer International Publishing
TitleAnalyzing Crowd-Sourced Information and Social Media for Crisis Management (2017)
AuthorsSimon Andrews, Tony Day, Konstantinos Domdouzis, Laurence Hirsch, Raluca Lefticaru, Constantinos Orphanides
JournalApplication of Social Media in Crisis Management
PublisherSpringer International Publishing
TitleTowards Automated Verification of P Systems Using Spin (2011)
AuthorsLefticaru R.;Tudose C.;Ipate F.
JournalNatural Computing for Simulation and Knowledge Discovery
PublisherIGI Global
Conference Contributions
AuthorsAna Turlea, Raluca Lefticaru, Felician Campean
Title Author(s)
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time (2019)Lefticaru R;Hierons R;Nunez M
Testing Robots Using CSP (2019)Cavalcanti A.;Baxter J.;Hierons R.;Lefticaru R.
Testing Identifiable Kernel P Systems using an X-machine Approach (2018)Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
Modelling and validating an engineering application in kernel P systems (2018)Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F.
Generating Complex Paths for Testing from an EFSM (2018)Turlea A.;Ipate F.;Lefticaru R.
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering (2017)Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian
A hybrid test generation approach based on extended finite state machines (2017)Turlea A.;Ipate F.;Lefticaru R.
A test suite generation approach based on EFSMs using a multi-objective genetic algorithm (2017)Turlea A.;Ipate F.;Lefticaru R.
Agent-based simulation of kernel P systems with division rules using FLAME (2017)Lefticaru R.;Macías-Ramos L.;Niculescu I.;Mierlă L.
X-machine based testing for cloud services (2015)Lefticaru R.;Simons A.
Model checking kernel P systems (2014)Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M.
Kernel P systems: Applications and Implementations (2013)Ipate F.;Lefticaru R.;Mierlǎ L.;Cabrera L.;Han H.;Zhang G.;Dragomir C.;Jiménez M.;Gheorghe M.
Formal verification of P systems with active membranes through model checking (2012)Ipate F.;Lefticaru R.;Pérez-Hurtado I.;Pérez-Jiménez M.;Tudose C.
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (2012)Lefticaru R.;Ipate F.
Test data generation for event-B models using genetic algorithms (2011)Dinca I.;Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C.
Towards search-based testing for event-B models (2011)Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C.
Using genetic algorithms and model checking for P systems automatic design (2011)Tudose C.;Lefticaru R.;Ipate F.
An integrated approach to P systems formal verification (2010)Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C.
Tuning P systems for solving the broadcasting problem (2010)Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G.
A particle swarm optimization based on P systems (2010)Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R.
Automated model design using genetic algorithms and model checking (2009)Lefticaru R.;Ipate F.;Tudose C.
A comparative landscape analysis of fitness functions for search-based testing (2008)Lefticaru R.;Ipate F.
Functional search-based testing from state machines (2008)Lefticaru R.;Ipate F.
Search-based testing using state-based fitness (2008)Lefticaru R.;IPate F.
Automatic state-based test generation using genetic algorithms (2007)Lefticaru R.;Ipate F.
State-based testing is functional testing! (2007)Ipate F.;Lefticaru R.