| 2019 | SEFM | An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. | Raluca Lefticaru, Robert M. Hierons, Manuel Nez |
| 2019 | TAP | Testing Robots Using CSP. | Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru |
| 2018 | QRS | Generating Complex Paths for Testing from an EFSM. | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
| 2017 | SYNASC | A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
| 2016 | SYNASC | A Hybrid Test Generation Approach Based on Extended Finite State Machines. | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
| 2012 | SEFM | An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. | Raluca Lefticaru, Florentin Ipate |
| 2011 | ICST | Towards Search-Based Testing for Event-B Models. | Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose |
| 2010 | ICNC | A particle swarm optimization based on P systems. | Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru |
| 2008 | ICST | Functional Search-based Testing from State Machines. | Raluca Lefticaru, Florentin Ipate |
| 2008 | ICST | Search-based Testing using State-based Fitness. | Raluca Lefticaru, Florentin Ipate |
| 2008 | SYNASC | A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. | Raluca Lefticaru, Florentin Ipate |
| 2007 | SYNASC | Automatic State-Based Test Generation Using Genetic Algorithms. | Raluca Lefticaru, Florentin Ipate |