@misc{14165,
  author = {Shaukat Ali},
  title = {A Search-Based OCL Constraint Solver for Model-Based Test Data Generation},
  year = {2011},
  journal = {11th International Conference On Quality Software (QSIC 2011)},
  publisher = {IEEE},
  address = {Madrid, Spain},
}