Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose. Test Data Generation for Event-B Models Using Genetic Algorithms. In Jasni Mohamad Zain, Wan Maseri Binti Wan Mohd, Eyas El-Qawasmeh, editors, Software Engineering and Computer Systems - Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III. Volume 181 of Communications in Computer and Information Science, pages 76-90, Springer, 2011. [doi]
Abstract is missing.