@article{MP13,
  author        = {M. R. Mousavi and J. Pang},
  title         = {Special issue: Software verification and testing},
  journal       = {Innovations in Systems and Software Engineering},
  year          = {2013},
  volume        = {9},
  number        = {2},
  pages         = {57-58},
  url           = {}
}