Test data generation for EventB models using genetic algorithms. (2011)

by I Dinca, A Stefanescu, F Ipate, R Lefticaru, C Tudose
Venue:Proc. of 2nd International Conference on Software Engineering and Computer Systems (ICSECS’11), CCIS, 181,