Mutation Testing for RoboChart
R.M. Hierons, M. Gazda, P. Gomez-Abajo, R. Lefticaru, M.G. Merayo (2021) Software Engineering for Robotics. In A. Cavalcanti et al. editor(s) Springer International Publishing.
Dr. Raluca Lefticaru
Associate Professor
- Area
- School of CSAI&E
- Faculty of Eng & Digital Technologies
- Phone
Biography
Raluca is an Associate 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: SEFM 2025, A-MOST 2025, 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
SEFM 2025, A-MOST 2025, ICTSS2023, 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 2009
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
- University of Pitesti, Romania - PhD in Computer Science
- Computability in Europe, Member
- Formal Methods Europe, Member
- International Membrane Computing Society, Member
Publications
-
-
Analyzing Crowd-Sourced Information and Social Media for Crisis Management
Simon Andrews, Tony Day, Konstantinos Domdouzis, Laurence Hirsch, Raluca Lefticaru, Constantinos Orphanides (2017) Application of Social Media in Crisis Management . Springer International Publishing .
-
Towards Automated Verification of P Systems Using Spin
Lefticaru R.;Tudose C.;Ipate F. (2011) Natural Computing for Simulation and Knowledge Discovery. IGI Global. 159-170.
-
Spiking Neural P Systems Simulation and Verification
R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna (2020) 18th International Conference on High Performance Computing & Simulation (HPCS 2020). 1
-
Testing Robots Using CSP
Cavalcanti A.;Baxter J.;Hierons R.;Lefticaru R. (2019) International Conference on Tests and Proofs, TAP 2019. 11823 LNCS, 21-38.
-
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
Lefticaru R;Hierons R;Nunez M (2019) International Conference on Software Engineering and Formal Methods, SEFM 2019. N/A, 393-409.
-
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering
Lefticaru R.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M. (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. 2018-January, 131-138.
-
Testing Identifiable Kernel P Systems using an X-machine Approach
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea (2018) International Conference on Membrane Computing, CMC 2018. LNCS 11399
-
Generating Complex Paths for Testing from an EFSM
Turlea A.;Ipate F.;Lefticaru R. (2018) International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. 1, 242-249.
-
Modelling and validating an engineering application in kernel P systems
Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F. (2018) International Conference on Membrane Computing, CMC 2017. 10725 LNCS, 183-195.
-
Agent-based simulation of kernel P systems with division rules using FLAME
Lefticaru R.;Macías-Ramos L.;Niculescu I.;Mierlă L. (2017) International Conference on Membrane Computing, CMC 2016. 10105 LNCS, 286-306.
-
A test suite generation approach based on EFSMs using a multi-objective genetic algorithm
Turlea A.;Ipate F.;Lefticaru R. (2017) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. 1, 153-160.
-
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering
Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian (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). 1, 131-138.
-
A hybrid test generation approach based on extended finite state machines
Turlea A.;Ipate F.;Lefticaru R. (2017) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. 1, 173-180.
-
X-machine based testing for cloud services
Lefticaru R.;Simons A. (2015) European Conference on Service-Oriented and Cloud Computing, ESOCC 2014. 508, 175-189.
-
Kernel P systems: Applications and Implementations
Ipate F.;Lefticaru R.;Mierlǎ L.;Cabrera L.;Han H.;Zhang G.;Dragomir C.;Jiménez M.;Gheorghe M. (2013) International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013. 212, 1081-1089.
-
Model checking kernel P systems
Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M. (2013) International Conference on Membrane Computing. CMC 2013. LNCS 8340, 151-172.
-
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms
Lefticaru R.;Ipate F. (2012) International Conference on Software Engineering and Formal Methods, SEFM 2012. 7504 LNCS, 293-307.
-
Formal verification of P systems with active membranes through model checking
Ipate F.;Lefticaru R.;Pérez-Hurtado I.;Pérez-Jiménez M.;Tudose C. (2012) International Conference on Membrane Computing, CMC 2011. 7184 LNCS, 215-225.
-
Test data generation for event-B models using genetic algorithms
Dinca I.;Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C. (2011) International Conference on Software Engineering and Computer Systems, ICSECS 2011. 181 CCIS, 76-90.
-
Towards search-based testing for event-B models
Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C. (2011) International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011. 1, 194-197.
-
Using genetic algorithms and model checking for P systems automatic design
Tudose C.;Lefticaru R.;Ipate F. (2011) Nature Inspired Cooperative Strategies for Optimization, NICSO 2011. 387, 285-302.
-
A particle swarm optimization based on P systems
Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. (2010) International Conference on Natural Computation, ICNC 2010. 6, 3003-3007.
-
Tuning P systems for solving the broadcasting problem
Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G. (2010) International Workshop on Membrane Computing, WMC 2009. 5957 LNCS, 354-370.
-
An integrated approach to P systems formal verification
Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C. (2010) International Conference on Membrane Computing, CMC 2010. 6501 LNCS, 226-239.
-
Automated model design using genetic algorithms and model checking
Lefticaru R.;Ipate F.;Tudose C. (2009) Balkan Conference in Informatics, BCI 2009. 1, 79-84.
-
Functional search-based testing from state machines
Lefticaru R.;Ipate F. (2008) International Conference on Software Testing, Verification and Validation, ICST 2008. 1, 525-528.
-
Search-based testing using state-based fitness
Lefticaru R.;IPate F. (2008) International Conference on Software Testing Verification and Validation Workshop, ICSTW'08. 1, 1-210.
-
A comparative landscape analysis of fitness functions for search-based testing
Lefticaru R.;Ipate F. (2008) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008. 1, 201-208.
-
Automatic state-based test generation using genetic algorithms
Lefticaru R.;Ipate F. (2007) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007. 1, 188-195.
-
State-based testing is functional testing!
Ipate F.;Lefticaru R. (2007) Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007. 1, 55-64.
-
Annual Innovative Engineering Research Conference Book of Abstracts
Kavian Cooke, Raluca Lefticaru and Therese Sheehan, (2022) University of Bradford.
-
Message from the A-MOST 2021 Workshop Chairs
Lefticaru R.;Lorber F.;Türker U.C. (2021)
-
Message from A-MOST 2020 Chairs
Aichernig B, Gargantini A, Lefticaru R (2020)
-
Implementation relations and testing for cyclic systems: Adding probabilities
Manuel Nunez, Robert M. Hierons, Raluca Lefticaru (2023) Robotics and Autonomous Systems. 165
-
A Model Learning Based Testing Approach for Kernel P Systems
Florentin Ipate, Ionut Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe (2023) Theoretical Computer Science. 698
-
Spiking neural P systems: matrix representation and formal verification
Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna (2021) Journal of Membrane Computing. TBD
-
Fundamental results for learning deterministic extended finite state machines from queries
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru (2021) Theoretical Computer Science. 862
-
Implementation relations and testing for cyclic systems with refusals and discrete time
Raluca Lefticaru, Robert M. Hierons, Manuel Nunez (2020) The Journal of Systems and Software - Us Journal. 170
-
A Verified and Optimised Stream X-Machine Testing Method, with Application to Cloud Service Certification
Anthony J. H. Simons, Raluca Lefticaru (2020) Software Testing Verification and Reliability. 30
-
P colonies and kernel P systems
Csuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca (2018) International Journal of Advances in Engineering Sciences and Applied Mathematics. 10, 181-192.
-
Kernel P systems: from modelling to verification and testing
Gheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca (2018) Theoretical Computer Science. 724, 45-60.
-
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots
Wang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca (2016) Integrated Computer-Aided Engineering. 23, 15-30.
-
A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning
Wang X.;Zhang G.;Zhao J.;Rong H.;Ipate F.;Lefticaru R. (2015) International Journal of Computers, Communications and Control. 10, 732-745.
-
3-Col problem modelling using simple kernel P systems
Gheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L. (2013) International Journal of Computer Mathematics. 90, 816-830.
-
A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems
Zhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. (2012) Journal of Universal Computer Science. 18, 1821-1841.
-
An empirical evaluation of P system testing techniques
Lefticaru R.;Gheorghe M.;Ipate F. (2011) Natural Computing. 10, 151-165.
-
Formal verification of p systems using spin
Ipate F.;Lefticaru R.;Tudose C. (2011) International Journal of Foundations of Computer Science. 22, 133-142.
-
Test generation from P systems using model checking
Ipate F.;Gheorghe M.;Lefticaru R. (2010) Journal of Logic and Algebraic Programming. 79, 350-362.
-
Model checking based test generation from P systems using p-lingua
Lefticaru R.;Ipate F.;Gheorghe M. (2010) Romanian Journal of Information Science and Technology. 13, 153-168.
-
Genetic model based testing: A framework and a case study
Ipate F.;Lefticaru R. (2008) Romanian Journal of Information Science and Technology. 11, 209-227.