Dr. Raluca Lefticaru, Associate Professor
Information about Dr. Raluca Lefticaru at the University of Bradford.
- School of CSAI&E
(Faculty of Eng & Digital Technologies) - Email:
- r.lefticaru@bradford.ac.uk
- Telephone:
- +44 1274 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 InterestsSoftware TestingModel-Based TestingSearch-Based Software EngineeringMembrane ComputingSimulation and VerificationProfessional ActivitiesCo-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 2022Co-chair of the 5th Annual Innovative Engineering Research Conference (AIERC 2022), Bradford, UK, 17 June 2022Co-chair of the 17th Workshop on Advances in Model-Based Testing (A-MOST 2021), 12 April, 2021, co-located with ICST 2021Co-chair of the 4th Annual Innovative Engineering Research Conference (AIERC 2021), Bradford, UK, 23 April 2021Co-chair of the 16th Workshop on Advances in Model-Based Testing (A-MOST 2020), 24 October, 2020, co-located with ICST 2020Co-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, 2019Communication Chair of the 18th International Conference on Membrane Computing (CMC18), Bradford, UK, 24–28 July, 2017PC MemberICTSS2023, FMAS2023, YISEC 2023, ANT 2023, FMAS2022, SEFM 2022, ICTSS 2022, WCCI 2022, AIERC 2022, ICSE 2022, SEFM 2021, FMAS 2021, EDMA-2021, A-MOST 2021, CEC-ECST2021, AIERC 2021, FMAS 2020, A-MOST 2020, SSBSE 2020, CEC-ECST2020, SSBSE 2019, CMC19, WMC 2018, EDMA 2017, SSBSE 2016, SSBSE 2015, WS-FMDS 2014, CSB 2014, SSBSE 2014, WS-FMDS 2013, WS-FMDS 2012, MOTIP 2010, MOTIP 2009ReviewerExpert Systems International Journal of Computer MathematicsInternational Journal of Computers, Communications and ControlInternational Journal of Natural Computing ResearchInternational Journal of Unconventional ComputingJournal of Membrane Computing Journal of Optimization Journal of Software: Evolution and Process Journal of Systems and Software Metaheuristics Romanian Journal of Information Science and TechnologyScience of Computer ProgrammingSoft Computing Software Testing, Verification and ReliabilityTheoretical Computer Science
Professional activities
Information about education, employment and areas of particular interest for Dr. Raluca Lefticaru is as follows:
- Computability in Europe, Member
- Formal Methods Europe, Member
- International Membrane Computing Society, Member
Education
- University of Pitesti, Romania - PhD in Computer Science
Publications
There are 52 publications involving or that are attributed to Dr. Raluca Lefticaru. They are listed as:
- book chapter (3)
- conference contribution (1)
- conference publication (28)
- edited book (1)
- editorial (2)
- peer reviewed journal (17)
Book Chapter
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Mutation Testing for RoboChart | 2021 | Software Engineering for Robotics | Software Engineering for Robotics | R.M. Hierons, M. Gazda, P. Gomez-Abajo, R. Lefticaru, M.G. Merayo | A. Cavalcanti et al. | 978-3-030-66493-0 | Springer International Publishing | https://doi.org/10.1007/978-3-030-66494-7_11 | |||
| Analyzing Crowd-Sourced Information and Social Media for Crisis Management | 2017 | Application of Social Media in Crisis Management | Application of Social Media in Crisis Management | Simon Andrews, Tony Day, Konstantinos Domdouzis, Laurence Hirsch, Raluca Lefticaru, Constantinos Orphanides | 978-3-319-52418-4 | Springer International Publishing | https://doi.org/10.1007/978-3-319-52419-1_6 | ||||
| Towards Automated Verification of P Systems Using Spin | 2011 | Natural Computing for Simulation and Knowledge Discovery | Natural Computing for Simulation and Knowledge Discovery | 159 - 170 | Lefticaru R.;Tudose C.;Ipate F. | 9781466642539 | IGI Global | 10.4018/978-1-4666-4253-9.ch010 |
Conference Contribution
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 2018 | Working Formal Methods Symposium, FROM 2018 | Working Formal Methods Symposium, FROM 2018 | 0 | Ana Turlea, Raluca Lefticaru, Felician Campean | Iasi, Romania |
Conference Publication
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Spiking Neural P Systems Simulation and Verification | 2020 | 18th International Conference on High Performance Computing & Simulation (HPCS 2020) | 18th International Conference on High Performance Computing & Simulation (HPCS 2020) | 1 | R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna | IEEE | Barcelona (online) | ||||
| Testing Robots Using CSP | 2019 | International Conference on Tests and Proofs, TAP 2019 | International Conference on Tests and Proofs, TAP 2019 | 11823 LNCS | 21 - 38 | Cavalcanti A.;Baxter J.;Hierons R.;Lefticaru R. | 0302-9743 | 10.1007/978-3-030-31157-5_2 | |||
| Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering | 2018 | IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017 | IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017 | 2018-January | 131 - 138 | Lefticaru R.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M. | 9781538630655 | 10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25 | |||
| A particle swarm optimization based on P systems | 2010 | International Conference on Natural Computation, ICNC 2010 | International Conference on Natural Computation, ICNC 2010 | 6 | 3003 - 3007 | Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. | 9781424459612 | 10.1109/ICNC.2010.5582450 | |||
| An Implementation Relation for Cyclic Systems with Refusals and Discrete Time | 2019 | International Conference on Software Engineering and Formal Methods, SEFM 2019 | International Conference on Software Engineering and Formal Methods, SEFM 2019 | N/A | 393 - 409 | Lefticaru R;Hierons R;Nunez M | 0302-9743 | Springer | 10.1007/978-3-030-30446-1_21 | ||
| Testing Identifiable Kernel P Systems using an X-machine Approach | 2018 | International Conference on Membrane Computing, CMC 2018 | International Conference on Membrane Computing, CMC 2018 | LNCS 11399 | Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea | Springer | https://doi.org/10.1007/978-3-030-12797-8_11 | ||||
| Generating Complex Paths for Testing from an EFSM | 2018 | International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018 | International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018 | 1 | 242 - 249 | Turlea A.;Ipate F.;Lefticaru R. | 9781538678398 | IEEE | 10.1109/QRS-C.2018.00052 | ||
| Modelling and validating an engineering application in kernel P systems | 2018 | International Conference on Membrane Computing, CMC 2017 | International Conference on Membrane Computing, CMC 2017 | 10725 LNCS | 183 - 195 | Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F. | 0302-9743 | 10.1007/978-3-319-73359-3_12 | |||
| Agent-based simulation of kernel P systems with division rules using FLAME | 2017 | International Conference on Membrane Computing, CMC 2016 | International Conference on Membrane Computing, CMC 2016 | 10105 LNCS | 286 - 306 | Lefticaru R.;Macías-Ramos L.;Niculescu I.;Mierlă L. | 0302-9743 | 10.1007/978-3-319-54072-6_18 | |||
| A test suite generation approach based on EFSMs using a multi-objective genetic algorithm | 2017 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017 | 1 | 153 - 160 | Turlea A.;Ipate F.;Lefticaru R. | 9781538626269 | 10.1109/SYNASC.2017.00034 | |||
| Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering | 2017 | 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) | 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) | 1 | 131 - 138 | Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian | IEEE | https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25 | |||
| A hybrid test generation approach based on extended finite state machines | 2017 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016 | 1 | 173 - 180 | Turlea A.;Ipate F.;Lefticaru R. | 9781509057078 | 10.1109/SYNASC.2016.037 | |||
| X-machine based testing for cloud services | 2015 | European Conference on Service-Oriented and Cloud Computing, ESOCC 2014 | European Conference on Service-Oriented and Cloud Computing, ESOCC 2014 | 508 | 175 - 189 | Lefticaru R.;Simons A. | 1865-0929 | 10.1007/978-3-319-14886-1_17 | |||
| Model checking kernel P systems | 2013 | International Conference on Membrane Computing. CMC 2013 | International Conference on Membrane Computing. CMC 2013 | LNCS 8340 | 151 - 172 | Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M. | https://doi.org/10.1007/978-3-642-54239-8_12 | ||||
| Kernel P systems: Applications and Implementations | 2013 | International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013 | International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013 | 212 | 1081 - 1089 | Ipate F.;Lefticaru R.;Mierlǎ L.;Cabrera L.;Han H.;Zhang G.;Dragomir C.;Jiménez M.;Gheorghe M. | 2194-5357 | 10.1007/978-3-642-37502-6_126 | |||
| An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms | 2012 | International Conference on Software Engineering and Formal Methods, SEFM 2012 | International Conference on Software Engineering and Formal Methods, SEFM 2012 | 7504 LNCS | 293 - 307 | Lefticaru R.;Ipate F. | 0302-9743 | 10.1007/978-3-642-33826-7_20 | |||
| Formal verification of P systems with active membranes through model checking | 2012 | International Conference on Membrane Computing, CMC 2011 | International Conference on Membrane Computing, CMC 2011 | 7184 LNCS | 215 - 225 | Ipate F.;Lefticaru R.;Pérez-Hurtado I.;Pérez-Jiménez M.;Tudose C. | 0302-9743 | 10.1007/978-3-642-28024-5_15 | |||
| Test data generation for event-B models using genetic algorithms | 2011 | International Conference on Software Engineering and Computer Systems, ICSECS 2011 | International Conference on Software Engineering and Computer Systems, ICSECS 2011 | 181 CCIS | 76 - 90 | Dinca I.;Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C. | 1865-0929 | 10.1007/978-3-642-22203-0_7 | |||
| Towards search-based testing for event-B models | 2011 | International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 | International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 | 1 | 194 - 197 | Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C. | 9780769543451 | 10.1109/ICSTW.2011.41 | |||
| Using genetic algorithms and model checking for P systems automatic design | 2011 | Nature Inspired Cooperative Strategies for Optimization, NICSO 2011 | Nature Inspired Cooperative Strategies for Optimization, NICSO 2011 | 387 | 285 - 302 | Tudose C.;Lefticaru R.;Ipate F. | 1860-949X | 10.1007/978-3-642-24094-2_20 | |||
| Tuning P systems for solving the broadcasting problem | 2010 | International Workshop on Membrane Computing, WMC 2009 | International Workshop on Membrane Computing, WMC 2009 | 5957 LNCS | 354 - 370 | Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G. | 0302-9743 | 10.1007/978-3-642-11467-0_25 | |||
| An integrated approach to P systems formal verification | 2010 | International Conference on Membrane Computing, CMC 2010 | International Conference on Membrane Computing, CMC 2010 | 6501 LNCS | 226 - 239 | Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C. | 0302-9743 | 10.1007/978-3-642-18123-8-18 | |||
| Automated model design using genetic algorithms and model checking | 2009 | Balkan Conference in Informatics, BCI 2009 | Balkan Conference in Informatics, BCI 2009 | 1 | 79 - 84 | Lefticaru R.;Ipate F.;Tudose C. | 9780769537832 | 10.1109/BCI.2009.15 | |||
| Functional search-based testing from state machines | 2008 | International Conference on Software Testing, Verification and Validation, ICST 2008 | International Conference on Software Testing, Verification and Validation, ICST 2008 | 1 | 525 - 528 | Lefticaru R.;Ipate F. | 9780769531274 | 10.1109/ICST.2008.32 | |||
| Search-based testing using state-based fitness | 2008 | International Conference on Software Testing Verification and Validation Workshop, ICSTW'08 | International Conference on Software Testing Verification and Validation Workshop, ICSTW'08 | 1 | 1 - 210 | Lefticaru R.;IPate F. | 9780769533889 | 10.1109/ICSTW.2008.35 | |||
| A comparative landscape analysis of fitness functions for search-based testing | 2008 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008 | 1 | 201 - 208 | Lefticaru R.;Ipate F. | 9780769535234 | 10.1109/SYNASC.2008.69 | |||
| Automatic state-based test generation using genetic algorithms | 2007 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007 | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007 | 1 | 188 - 195 | Lefticaru R.;Ipate F. | 9780769530789 | 10.1109/SYNASC.2007.47 | |||
| State-based testing is functional testing! | 2007 | Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007 | Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007 | 1 | 55 - 64 | Ipate F.;Lefticaru R. | 9780769529844 | 10.1109/TAICPART.2007.4344099 |
Edited Book
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Annual Innovative Engineering Research Conference Book of Abstracts | 2022 | 1 | Kavian Cooke, Raluca Lefticaru and Therese Sheehan, | Kavian Cooke, Raluca Lefticaru and Therese Sheehan, | University of Bradford |
Editorial
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Message from the A-MOST 2021 Workshop Chairs | 2021 | XVII | Lefticaru R.;Lorber F.;Türker U.C. | 9781665444569 | 10.1109/ICSTW52544.2021.00011 | ||||||
| Message from A-MOST 2020 Chairs | 2020 | xiii | Aichernig B, Gargantini A, Lefticaru R | 9781728110752 | 10.1109/ICSTW50294.2020.00005 |
Peer Reviewed Journal
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Implementation relations and testing for cyclic systems: Adding probabilities | 2023 | Robotics and Autonomous Systems | 165 | Manuel Nunez, Robert M. Hierons, Raluca Lefticaru | 0921-8890 | Elsevier | https://doi.org/10.1016/j.robot.2023.104426 | ||||
| A Model Learning Based Testing Approach for Kernel P Systems | 2023 | Theoretical Computer Science | 698 | Florentin Ipate, Ionut Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe | Elsevier | https://doi.org/10.1016/j.tcs.2023.113975 | |||||
| Spiking neural P systems: matrix representation and formal verification | 2021 | Journal of Membrane Computing | TBD | Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna | 2523-8906 | Springer | https://doi.org/10.1007/s41965-021-00075-1 | ||||
| Fundamental results for learning deterministic extended finite state machines from queries | 2021 | Theoretical Computer Science | 862 | Florentin Ipate, Marian Gheorghe, Raluca Lefticaru | 0304-3975 | Elsevier | https://doi.org/10.1016/j.tcs.2020.09.028 | ||||
| Implementation relations and testing for cyclic systems with refusals and discrete time | 2020 | The Journal of Systems and Software - Us Journal | 170 | Raluca Lefticaru, Robert M. Hierons, Manuel Nunez | 0164-1212 | Elsevier | https://doi.org/10.1016/j.jss.2020.110738 | ||||
| A Verified and Optimised Stream X-Machine Testing Method, with Application to Cloud Service Certification | 2020 | Software Testing Verification and Reliability | 30 | Anthony J. H. Simons, Raluca Lefticaru | 1099-1689 | Wiley | https://doi.org/10.1002/stvr.1729 | ||||
| P colonies and kernel P systems | 2018 | International Journal of Advances in Engineering Sciences and Applied Mathematics | 10 | 181 - 192 | Csuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca | 0975-0770 | Springer | https://doi.org/10.1007/s12572-018-0224-y | |||
| Kernel P systems: from modelling to verification and testing | 2018 | Theoretical Computer Science | 724 | 45 - 60 | Gheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca | Elsevier | https://doi.org/10.1016/j.tcs.2017.12.010 | ||||
| Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots | 2016 | Integrated Computer-Aided Engineering | 23 | 15 - 30 | Wang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca | 1069-2509 | IOS Press | 10.3233/ICA-150503 | |||
| A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning | 2015 | International Journal of Computers, Communications and Control | 10 | 732 - 745 | Wang X.;Zhang G.;Zhao J.;Rong H.;Ipate F.;Lefticaru R. | 1841-9836 | 10.15837/ijccc.2015.5.2030 | ||||
| 3-Col problem modelling using simple kernel P systems | 2013 | International Journal of Computer Mathematics | 90 | 816 - 830 | Gheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L. | 0020-7160 | 10.1080/00207160.2012.743712 | ||||
| A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems | 2012 | Journal of Universal Computer Science | 18 | 1821 - 1841 | Zhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. | 0948-695X | |||||
| An empirical evaluation of P system testing techniques | 2011 | Natural Computing | 10 | 151 - 165 | Lefticaru R.;Gheorghe M.;Ipate F. | 1567-7818 | Springer | 10.1007/s11047-010-9188-y | |||
| Formal verification of p systems using spin | 2011 | International Journal of Foundations of Computer Science | 22 | 133 - 142 | Ipate F.;Lefticaru R.;Tudose C. | 0129-0541 | 10.1142/S0129054111007897 | ||||
| Test generation from P systems using model checking | 2010 | Journal of Logic and Algebraic Programming | 79 | 350 - 362 | Ipate F.;Gheorghe M.;Lefticaru R. | 1567-8326 | 10.1016/j.jlap.2010.03.007 | ||||
| Model checking based test generation from P systems using p-lingua | 2010 | Romanian Journal of Information Science and Technology | 13 | 153 - 168 | Lefticaru R.;Ipate F.;Gheorghe M. | 1453-8245 | |||||
| Genetic model based testing: A framework and a case study | 2008 | Romanian Journal of Information Science and Technology | 11 | 209 - 227 | Ipate F.;Lefticaru R. | 1453-8245 |