Skip to content

Raluca-Elena 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:


Research Interests
  • Model-Based Testing
  • Search-Based Software Engineering
  • Membrane Computing
Recent Activity
  • Co-chair for the 16th Workshop on Advances in Model-Based Software Testing (A-MOST 2020), Porto, Portugal, March 23, 2020
  • Student and Short Paper Track Co-chair for the 11th Symposium on Search-Based Software Engineering (SSBSE 2019), Tallin, Estonia, 31 Aug–2 Sep, 2019
  • Communication Chair for the 18th International Conference on Membrane Computing (CMC 2017), Bradford, UK, 24–28 July, 2017
PC Member

A-MOST 2020ECST 2020, SSBSE 2020SSBSE 2019CMC19WMC 2018CMC18, EDMA 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
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
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
TitleTest generation from P systems using model checking (2010)
AuthorsIpate F.;Gheorghe M.;Lefticaru R.
JournalJournal of Logic and Algebraic Programming
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
TitleGenetic model based testing: A framework and a case study (2008)
AuthorsIpate F.;Lefticaru R.
JournalRomanian Journal of Information Science and Technology
Book Chapter
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 Contribution
AuthorsAna Turlea, Raluca Lefticaru, Felician Campean
Title Author(s)
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.
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.
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.
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
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.
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.
Test data generation for event-B models using genetic algorithms (2011)Dinca I.;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.
A particle swarm optimization based on P systems (2010)Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R.
Tuning P systems for solving the broadcasting problem (2010)Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G.
Automated model design using genetic algorithms and model checking (2009)Lefticaru R.;Ipate F.;Tudose C.
Functional search-based testing from state machines (2008)Lefticaru R.;Ipate F.
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.
State-based testing is functional testing! (2007)Ipate F.;Lefticaru R.
Automatic state-based test generation using genetic algorithms (2007)Lefticaru R.;Ipate F.