Automated Model Design Using Genetic Algorithms and Model Checking. - Raluca Lefticaru; Florentin Ipate; Cristina Tudose (BCI, 2009)

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. - Cristina Tudose; Radu Opria (SEFM, 2010)

Test Data Generation for Event-B Models Using Genetic Algorithms. - Ionut Dinca; Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICSECS (3), 2011)

Towards Search-Based Testing for Event-B Models. - Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICST Workshops, 2011)

Formal Verification of P Systems with Active Membranes through Model Checking. - Florentin Ipate; Raluca Lefticaru; Ignacio Pérez-Hurtado; Mario J. Pérez-Jiménez; Cristina Tudose (Int. Conf. on Membrane Computing, 2011)

Using Genetic Algorithms and Model Checking for P Systems Automatic Design. - Cristina Tudose; Raluca Lefticaru; Florentin Ipate (NICSO, 2011)

Formal Verification of P Systems Using Spin. - Florentin Ipate; Raluca Lefticaru; Cristina Tudose (Int. J. Found. Comput. Sci., 2011)

Towards Automated Verification of P Systems Using Spin. - Raluca Lefticaru; Cristina Tudose; Florentin Ipate (Int. J. Nat. Comput. Res., 2011)