Cristina Tudose

According to our database, Cristina Tudose authored at least 8 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2011

Towards Automated Verification of P Systems Using Spin.

Raluca Lefticaru, Cristina Tudose, Florentin Ipate

Int. J. Nat. Comput. Res., 2011

Formal Verification of P Systems Using Spin.

Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Int. J. Found. Comput. Sci., 2011

Using Genetic Algorithms and Model Checking for P Systems Automatic Design.

Cristina Tudose, Raluca Lefticaru, Florentin Ipate

Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 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

Proceedings of the Membrane Computing, 2011

Towards Search-Based Testing for Event-B Models.

Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Test Data Generation for Event-B Models Using Genetic Algorithms.

Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Proceedings of the Software Engineering and Computer Systems, 2011

2010

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution.

Cristina Tudose, Radu Opria

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Automated Model Design Using Genetic Algorithms and Model Checking.

Raluca Lefticaru, Florentin Ipate, Cristina Tudose

Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009