305	  Dinca, Ionut and Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina  (2011) Test Data Generation for Event-B Models using Genetic Algorithms.  In: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), June 27-29, 2011, Malaysia.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>