A Hybrid Test Generation Approach Based on Extended Finite State Machines. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (SYNASC, 2016)

A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (SYNASC, 2017)

Search Based Model in the Loop Testing for Cyber Physical Systems. - Ana Turlea (EUC, 2018)

Testing Identifiable Kernel P Systems Using an X-Machine Approach. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ana Turlea (Int. Conf. on Membrane Computing, 2018)

Generating Complex Paths for Testing from an EFSM. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (QRS Companion, 2018)

Search-Based Testing using EFSMs. - Ana Turlea (ISSRE Workshops, 2019)

Testing extended finite state machines using NSGA-III. - Ana Turlea (A-TEST@ESEC/SIGSOFT FSE, 2019)

Search-based testing in membrane computing. - Ana Turlea; Marian Gheorghe 001; Florentin Ipate; Savas Konur (J. Membr. Comput., 2019)

Model-in-the-Loop Testing for Cyber Physical Systems. - Ana Turlea (ACM SIGSOFT Softw. Eng. Notes, 2019)