Cristina Tudose

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Towards Automated Verification of P Systems Using Spin.
Int. J. Nat. Comput. Res., 2011

Formal Verification of P Systems Using Spin.
Int. J. Found. Comput. Sci., 2011

Using Genetic Algorithms and Model Checking for P Systems Automatic Design.
Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 2011

Formal Verification of P Systems with Active Membranes through Model Checking.
Proceedings of the Membrane Computing, 2011

Towards Search-Based Testing for Event-B Models.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Test Data Generation for Event-B Models Using Genetic Algorithms.
Proceedings of the Software Engineering and Computer Systems, 2011

2010
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009
Automated Model Design Using Genetic Algorithms and Model Checking.
Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009


  Loading...