Ionut Dinca

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Test Generation

Finite State Automata

Top Venues

Publications

Florentin Ipate, Alin Stefanescu, Ionut Dinca
Model Learning and Test Generation Using Cover Automata. Comput. J. 58 (5) (2015)
S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu
Implementing Realistic Asynchronous Automata. FSTTCS (2013)
Ionut Dinca, Florentin Ipate, Alin Stefanescu
Model Learning and Test Generation for Event-B Decomposition. ISoLA (1) (2012)
Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu
Learn and Test for Event-B - A Rodin Plugin. ABZ (2012)
Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) (2011)