@misc {IOPORT.70776730, author = {Ali, Shaukat and Iqbal, Muhammad Zohaib Z. and Arcuri, Andrea and Briand, Lionel C.}, title = {A search-based OCL constraint solver for model-based test data generation}, howpublished = {QSIC, 41-50 (2011).}, year = {2011}, identifier = {70776730}, }