Ionut Dinca

According to our database, Ionut Dinca authored at least 5 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Model Learning and Test Generation Using Cover Automata.

Florentin Ipate, Alin Stefanescu, Ionut Dinca

Comput. J., 2015

2013

Implementing Realistic Asynchronous Automata.

S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Model Learning and Test Generation for Event-B Decomposition.

Ionut Dinca, Florentin Ipate, Alin Stefanescu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Learn and Test for Event-B - A Rodin Plugin.

Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

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