@inproceedings{PM13,
  author        = {J. Pang and M. R. Mousavi},
  title         = {Editorial message: {S}pecial track on software verification and testing},
  booktitle     = {Proc.\ 28th Symposium on Applied Computing (SAC'13)},
  publisher     = {ACM Press},
  year          = {2013},
  pages         = {1186--1187},
  ulkey         = {}
}