@misc{PM12,
  author        = {J. Pang and M. R. Mousavi},
  title         = {Editorial message: {S}pecial track on software verification and testing},
  booktitle     = {Proc.\ 27th Symposium on Applied Computing (SAC'12)},
  publisher     = {ACM Press},
  year          = {2012},
  pages         = {1262--1263},
  ulkey         = {}
}