Skip to content

Dr Raluca Lefticaru

Lecturer in Computer Science

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


Raluca is a Lecturer in Computer Science at the University of Bradford and a Visiting Researcher at the University of Sheffield.  Her research interests include software testing, especially state-machine 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

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

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
TitleFundamental results for learning deterministic extended finite state machines from queries (2020)
AuthorsFlorentin Ipate, Marian Gheorghe, Raluca Lefticaru
JournalTheoretical Computer Science
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
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
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
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
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.
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
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 (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.