@article{MP13-2,
  author        = {M. R. Mousavi and J. Pang},
  title         = {Special issue on software verification and testing},
  journal       = {Science of Computer Programming},
  year          = {2014},
  volume        = {95},
  number        = {3},
  pages         = {273-274},
  url           = {}
}