Dr Raluca Lefticaru
Assistant Professor
| Faculty/Dept/School | Faculty of Eng & Digital Technologies |
|---|---|
| r.lefticaru@bradford.ac.uk | |
| Telephone | +441274 232170 |
Biography
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:
- Invited speaker at CMC 2022.
- Conference organiser: YISEC 2023, AIERC 2022, A-MOST 2021, AIERC 2021, A-MOST 2020.
- PC member: ICTSS2023, FMAS2023, YISEC 2023, ANT 2023, SEFM 2022, FMAS 2022, ICTSS 2022, AIERC 2022, ICSE 2022, SEFM2021, FMAS 2021, EDMA-2021, CEC-ECST 2021, A-MOST 2021, AIERC 2021, FMAS 2020, SSBSE 2020, CEC-ECST 2020, A-MOST 2020.
- Reviewer: WCCI 2022
Research
Research Interests- Software Testing
- Model-Based Testing
- Search-Based Software Engineering
- Membrane Computing
- Simulation and Verification
- 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
Reviewer
- 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
Publications
| Title | Implementation relations and testing for cyclic systems: Adding probabilities (2023) |
|---|---|
| Authors | Manuel Nunez, Robert M. Hierons, Raluca Lefticaru |
| Journal | Robotics and Autonomous Systems |
| Publisher | Elsevier |
| DOI | https://doi.org/10.1016/j.robot.2023.104426 |
| Title | A Model Learning Based Testing Approach for Kernel P Systems (2023) |
| Authors | Florentin Ipate, Ionut Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe |
| Journal | Theoretical Computer Science |
| Publisher | Elsevier |
| DOI | https://doi.org/10.1016/j.tcs.2023.113975 |
| Title | Fundamental results for learning deterministic extended finite state machines from queries (2021) |
| Authors | Florentin Ipate, Marian Gheorghe, Raluca Lefticaru |
| Journal | Theoretical Computer Science |
| Publisher | Elsevier |
| DOI | https://doi.org/10.1016/j.tcs.2020.09.028 |
| Title | Spiking neural P systems: matrix representation and formal verification (2021) |
| Authors | Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna |
| Journal | Journal of Membrane Computing |
| Publisher | Springer |
| DOI | https://doi.org/10.1007/s41965-021-00075-1 |
| Title | A Verified and Optimised Stream X-Machine Testing Method, with Application to Cloud Service Certification (2020) |
| Authors | Anthony J. H. Simons, Raluca Lefticaru |
| Journal | Software Testing Verification and Reliability |
| Publisher | Wiley |
| DOI | https://doi.org/10.1002/stvr.1729 |
| Title | Implementation relations and testing for cyclic systems with refusals and discrete time (2020) |
| Authors | Raluca Lefticaru, Robert M. Hierons, Manuel Nunez |
| Journal | The Journal of Systems and Software - Us Journal |
| Publisher | Elsevier |
| DOI | https://doi.org/10.1016/j.jss.2020.110738 |
| Title | P colonies and kernel P systems (2018) |
| Authors | Csuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca |
| Journal | International Journal of Advances in Engineering Sciences and Applied Mathematics |
| Publisher | Springer |
| DOI | https://doi.org/10.1007/s12572-018-0224-y |
| Title | Kernel P systems: from modelling to verification and testing (2018) |
| Authors | Gheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca |
| Journal | Theoretical Computer Science |
| Publisher | Elsevier |
| DOI | https://doi.org/10.1016/j.tcs.2017.12.010 |
| Title | Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots (2016) |
| Authors | Wang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca |
| Journal | Integrated Computer-Aided Engineering |
| Publisher | IOS Press |
| DOI | 10.3233/ICA-150503 |
| Title | A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning (2015) |
| Authors | Wang X.;Zhang G.;Zhao J.;Rong H.;Ipate F.;Lefticaru R. |
| Journal | International Journal of Computers, Communications and Control |
| DOI | 10.15837/ijccc.2015.5.2030 |
| Title | 3-Col problem modelling using simple kernel P systems (2013) |
| Authors | Gheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L. |
| Journal | International Journal of Computer Mathematics |
| DOI | 10.1080/00207160.2012.743712 |
| Title | A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems (2012) |
| Authors | Zhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. |
| Journal | Journal of Universal Computer Science |
| Title | An empirical evaluation of P system testing techniques (2011) |
| Authors | Lefticaru R.;Gheorghe M.;Ipate F. |
| Journal | Natural Computing |
| Publisher | Springer |
| DOI | 10.1007/s11047-010-9188-y |
| Title | Formal verification of p systems using spin (2011) |
| Authors | Ipate F.;Lefticaru R.;Tudose C. |
| Journal | International Journal of Foundations of Computer Science |
| DOI | 10.1142/S0129054111007897 |
| Title | Model checking based test generation from P systems using p-lingua (2010) |
| Authors | Lefticaru R.;Ipate F.;Gheorghe M. |
| Journal | Romanian Journal of Information Science and Technology |
| Title | Test generation from P systems using model checking (2010) |
| Authors | Ipate F.;Gheorghe M.;Lefticaru R. |
| Journal | Journal of Logic and Algebraic Programming |
| DOI | 10.1016/j.jlap.2010.03.007 |
| Title | Genetic model based testing: A framework and a case study (2008) |
| Authors | Ipate F.;Lefticaru R. |
| Journal | Romanian Journal of Information Science and Technology |
| Title | Mutation Testing for RoboChart (2021) |
|---|---|
| Authors | R.M. Hierons, M. Gazda, P. Gomez-Abajo, R. Lefticaru, M.G. Merayo |
| Journal | Software Engineering for Robotics |
| Publisher | Springer International Publishing |
| DOI | https://doi.org/10.1007/978-3-030-66494-7_11 |
| Title | Analyzing Crowd-Sourced Information and Social Media for Crisis Management (2017) |
| Authors | Simon Andrews, Tony Day, Konstantinos Domdouzis, Laurence Hirsch, Raluca Lefticaru, Constantinos Orphanides |
| Journal | Application of Social Media in Crisis Management |
| Publisher | Springer International Publishing |
| DOI | https://doi.org/10.1007/978-3-319-52419-1_6 |
| Title | Towards Automated Verification of P Systems Using Spin (2011) |
| Authors | Lefticaru R.;Tudose C.;Ipate F. |
| Journal | Natural Computing for Simulation and Knowledge Discovery |
| Publisher | IGI Global |
| DOI | 10.4018/978-1-4666-4253-9.ch010 |
| Title | Annual Innovative Engineering Research Conference Book of Abstracts (2022) |
|---|---|
| Authors | Kavian Cooke, Raluca Lefticaru and Therese Sheehan, |
| Publisher | University of Bradford |
| Publication Name | Working Formal Methods Symposium, FROM 2018 (2018) |
|---|---|
| Authors | Ana Turlea, Raluca Lefticaru, Felician Campean |
| Other type | Editorial |
|---|---|
| Title | Message from the A-MOST 2021 Workshop Chairs (2021) |
| Authors | Lefticaru R.;Lorber F.;Türker U.C. |
| Journal | Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021 |
| DOI | 10.1109/ICSTW52544.2021.00011 |
| Other type | Editorial |
| Title | Message from A-MOST 2020 Chairs (2020) |
| Authors | Aichernig B, Gargantini A, Lefticaru R |
| DOI | 10.1109/ICSTW50294.2020.00005 |
| 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. |