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 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

  • Invited speaker at the 23rd Conference on Membrane Computing (CMC 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

ANT 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


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
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
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
Other Publications
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
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.
Generating Complex Paths for Testing from an EFSM (2018)Turlea A.;Ipate F.;Lefticaru R.
Testing Identifiable Kernel P Systems using an X-machine Approach (2018)Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
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.
Modelling and validating an engineering application in kernel P systems (2018)Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F.
A test suite generation approach based on EFSMs using a multi-objective genetic algorithm (2017)Turlea A.;Ipate F.;Lefticaru R.
A hybrid test generation approach based on extended finite state machines (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.
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
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.
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.
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.
Search-based testing using state-based fitness (2008)Lefticaru R.;IPate F.
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.
Automatic state-based test generation using genetic algorithms (2007)Lefticaru R.;Ipate F.
State-based testing is functional testing! (2007)Ipate F.;Lefticaru R.