@inproceedings{inproceedings,
  author    = {Dave Arnold and
               Jean{-}Pierre Corriveau and
               Wei Shi},
  editor    = {Hamid R. Arabnia and
               Hassan Reza and
               Leonidas Deligiannidis and
               Juan Jose Cuadrado{-}Gallego and
               Vincent Schmidt and
               Ashu M. G. Solo},
  title     = {Validation Against Actual Behavior: Still a Challenge for Testing
               Tools},
  booktitle = {Proceedings of the 2010 International Conference on Software Engineering
               Research {\&} Practice, {SERP} 2010, July 12-15, 2010, Las Vegas,
               Nevada, USA, 2 Volumes},
  pages     = {212--218},
  publisher = {{CSREA} Press},
  year      = {2010},
  timestamp = {Mon, 16 Apr 2018 00:35:25 +0200},
  biburl    = {https://dblp.org/rec/conf/serp/ArnoldCS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}