DMCA

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

Cached

Download Links

by Ionut Dinca , Alin Stefanescu , Florentin Ipate , Raluca Lefticaru , Cristina Tudose
Venue:Proc. of 2nd International Conference on Software Engineering and Computer Systems (ICSECS’11), CCIS, 181,
Citations:1 - 1 self