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 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
Information about education, employment and areas of particular interest for Dr. Raluca Lefticaru is as follows:
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 |
---|---|---|---|---|---|---|---|---|---|---|---|
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 | |||
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 | ||||
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 |
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 |
---|---|---|---|---|---|---|---|---|---|---|---|
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 | ||||
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 | |||
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 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 | |||
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 | |||
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 | |||
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 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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | |||
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 | ||||
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) |
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 |
---|---|---|---|---|---|---|---|---|---|---|---|
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 | |||
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 | |||
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 | |||||
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 | ||||
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 | |||||
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 | ||||
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 | |||||
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 | |||
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 | ||||
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 | ||||
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 | ||||
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 | ||||
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 | |||||
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 |