Skip to content

Dr Raluca Lefticaru

Assistant Professor

Faculty/Dept/School Faculty of Eng & Digital Technologies
Telephone +441274 232170


Raluca is an Assistant Professor in Computer Science and the programme leader for the BEng Software Engineering course. She is also a Fellow of the Higher Education Academy (FHEA) and 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. 

Recent activities: 


Research Interests

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

  • Co-chair of the Yorkshire Innovation in Science and Engineering Conference (YISEC 2023), Bradford, UK, 15-16 June 2023 
  • Invited speaker at the 23rd Conference on Membrane Computing (CMC 2022), Trieste, Italy, September 2022
  • Co-chair of the 5th Annual Innovative Engineering Research Conference (AIERC 2022), Bradford, UK, 17 June 2022
  • 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

ICTSS2023FMAS2023YISEC 2023ANT 2023, FMAS2022, SEFM 2022ICTSS 2022, WCCI 2022, AIERC 2022ICSE 2022SEFM 2021FMAS 2021EDMA-2021A-MOST 2021, CEC-ECST2021AIERC 2021FMAS 2020A-MOST 2020SSBSE 2020, CEC-ECST2020SSBSE 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
  • Science of Computer Programming

  • 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


TitleImplementation relations and testing for cyclic systems: Adding probabilities (2023)
AuthorsManuel Nunez, Robert M. Hierons, Raluca Lefticaru
JournalRobotics and Autonomous Systems
TitleA Model Learning Based Testing Approach for Kernel P Systems (2023)
AuthorsFlorentin Ipate, Ionut Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe
JournalTheoretical Computer Science
TitleFundamental results for learning deterministic extended finite state machines from queries (2021)
AuthorsFlorentin Ipate, Marian Gheorghe, Raluca Lefticaru
JournalTheoretical Computer Science
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
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
TitleP colonies and kernel P systems (2018)
AuthorsCsuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca
JournalInternational Journal of Advances in Engineering Sciences and Applied Mathematics
TitleKernel P systems: from modelling to verification and testing (2018)
AuthorsGheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca
JournalTheoretical Computer Science
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
TitleAn empirical evaluation of P system testing techniques (2011)
AuthorsLefticaru R.;Gheorghe M.;Ipate F.
JournalNatural Computing
TitleFormal verification of p systems using spin (2011)
AuthorsIpate F.;Lefticaru R.;Tudose C.
JournalInternational Journal of Foundations of Computer Science
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
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
TitleAnnual Innovative Engineering Research Conference Book of Abstracts (2022)
AuthorsKavian Cooke, Raluca Lefticaru and Therese Sheehan,
PublisherUniversity of Bradford
Publication NameWorking Formal Methods Symposium, FROM 2018 (2018)
AuthorsAna Turlea, Raluca Lefticaru, Felician Campean
Other typeEditorial
TitleMessage from the A-MOST 2021 Workshop Chairs (2021)
AuthorsLefticaru R.;Lorber F.;Türker U.C.
JournalProceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021
Other typeEditorial
TitleMessage from A-MOST 2020 Chairs (2020)
AuthorsAichernig B, Gargantini A, Lefticaru R
Title Author(s)
Spiking Neural P Systems Simulation and Verification (2020)R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna
Testing Robots Using CSP (2019)Cavalcanti A.;Baxter J.;Hierons R.;Lefticaru R.
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time (2019)Lefticaru R;Hierons R;Nunez M
Modelling and validating an engineering application in kernel P systems (2018)Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F.
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering (2018)Lefticaru R.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M.
Testing Identifiable Kernel P Systems using an X-machine Approach (2018)Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
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 (2013)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.
Using genetic algorithms and model checking for P systems automatic design (2011)Tudose C.;Lefticaru R.;Ipate F.
Towards search-based testing for event-B models (2011)Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C.
Test data generation for event-B models using genetic algorithms (2011)Dinca I.;Stefanescu A.;Ipate F.;Lefticaru R.;Tudose 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.
An integrated approach to P systems formal verification (2010)Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C.
Automated model design using genetic algorithms and model checking (2009)Lefticaru R.;Ipate F.;Tudose C.
Search-based testing using state-based fitness (2008)Lefticaru R.;IPate F.
Functional search-based testing from state machines (2008)Lefticaru R.;Ipate F.
A comparative landscape analysis of fitness functions for search-based testing (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.