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.
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:
Research Interests
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
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.
Simon Andrews, Tony Day, Konstantinos Domdouzis, Laurence Hirsch, Raluca Lefticaru, Constantinos Orphanides (2017) Application of Social Media in Crisis Management . Springer International Publishing .
Lefticaru R.;Tudose C.;Ipate F. (2011) Natural Computing for Simulation and Knowledge Discovery. IGI Global. 159-170.
R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna (2020) 18th International Conference on High Performance Computing & Simulation (HPCS 2020). 1
Cavalcanti A.;Baxter J.;Hierons R.;Lefticaru R. (2019) International Conference on Tests and Proofs, TAP 2019. 11823 LNCS, 21-38.
Lefticaru R;Hierons R;Nunez M (2019) International Conference on Software Engineering and Formal Methods, SEFM 2019. N/A, 393-409.
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.
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea (2018) International Conference on Membrane Computing, CMC 2018. LNCS 11399
Turlea A.;Ipate F.;Lefticaru R. (2018) International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. 1, 242-249.
Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F. (2018) International Conference on Membrane Computing, CMC 2017. 10725 LNCS, 183-195.
Lefticaru R.;Macías-Ramos L.;Niculescu I.;Mierlă L. (2017) International Conference on Membrane Computing, CMC 2016. 10105 LNCS, 286-306.
Turlea A.;Ipate F.;Lefticaru R. (2017) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. 1, 153-160.
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.
Turlea A.;Ipate F.;Lefticaru R. (2017) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. 1, 173-180.
Lefticaru R.;Simons A. (2015) European Conference on Service-Oriented and Cloud Computing, ESOCC 2014. 508, 175-189.
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.
Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M. (2013) International Conference on Membrane Computing. CMC 2013. LNCS 8340, 151-172.
Lefticaru R.;Ipate F. (2012) International Conference on Software Engineering and Formal Methods, SEFM 2012. 7504 LNCS, 293-307.
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.
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.
Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C. (2011) International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011. 1, 194-197.
Tudose C.;Lefticaru R.;Ipate F. (2011) Nature Inspired Cooperative Strategies for Optimization, NICSO 2011. 387, 285-302.
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.
Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G. (2010) International Workshop on Membrane Computing, WMC 2009. 5957 LNCS, 354-370.
Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C. (2010) International Conference on Membrane Computing, CMC 2010. 6501 LNCS, 226-239.
Lefticaru R.;Ipate F.;Tudose C. (2009) Balkan Conference in Informatics, BCI 2009. 1, 79-84.
Lefticaru R.;Ipate F. (2008) International Conference on Software Testing, Verification and Validation, ICST 2008. 1, 525-528.
Lefticaru R.;IPate F. (2008) International Conference on Software Testing Verification and Validation Workshop, ICSTW'08. 1, 1-210.
Lefticaru R.;Ipate F. (2008) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008. 1, 201-208.
Lefticaru R.;Ipate F. (2007) International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007. 1, 188-195.
Ipate F.;Lefticaru R. (2007) Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007. 1, 55-64.
Kavian Cooke, Raluca Lefticaru and Therese Sheehan, (2022) University of Bradford.
Lefticaru R.;Lorber F.;Türker U.C. (2021)
Aichernig B, Gargantini A, Lefticaru R (2020)
Manuel Nunez, Robert M. Hierons, Raluca Lefticaru (2023) Robotics and Autonomous Systems. 165
Florentin Ipate, Ionut Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe (2023) Theoretical Computer Science. 698
Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna (2021) Journal of Membrane Computing. TBD
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru (2021) Theoretical Computer Science. 862
Raluca Lefticaru, Robert M. Hierons, Manuel Nunez (2020) The Journal of Systems and Software - Us Journal. 170
Anthony J. H. Simons, Raluca Lefticaru (2020) Software Testing Verification and Reliability. 30
Csuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca (2018) International Journal of Advances in Engineering Sciences and Applied Mathematics. 10, 181-192.
Gheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca (2018) Theoretical Computer Science. 724, 45-60.
Wang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca (2016) Integrated Computer-Aided Engineering. 23, 15-30.
Wang X.;Zhang G.;Zhao J.;Rong H.;Ipate F.;Lefticaru R. (2015) International Journal of Computers, Communications and Control. 10, 732-745.
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.
Zhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. (2012) Journal of Universal Computer Science. 18, 1821-1841.
Lefticaru R.;Gheorghe M.;Ipate F. (2011) Natural Computing. 10, 151-165.
Ipate F.;Lefticaru R.;Tudose C. (2011) International Journal of Foundations of Computer Science. 22, 133-142.
Ipate F.;Gheorghe M.;Lefticaru R. (2010) Journal of Logic and Algebraic Programming. 79, 350-362.
Lefticaru R.;Ipate F.;Gheorghe M. (2010) Romanian Journal of Information Science and Technology. 13, 153-168.
Ipate F.;Lefticaru R. (2008) Romanian Journal of Information Science and Technology. 11, 209-227.