A hands-on Java PathFinder tutorial

Peter C. Mehlitz, Neha Rungta, Willem Visser. A hands-on Java PathFinder tutorial. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 1493-1495, IEEE / ACM, 2013. [doi]

@inproceedings{MehlitzRV04,
  title = {A hands-on Java PathFinder tutorial},
  author = {Peter C. Mehlitz and Neha Rungta and Willem Visser},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2487052},
  researchr = {https://researchr.org/publication/MehlitzRV04},
  cites = {0},
  citedby = {0},
  pages = {1493-1495},
  booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
  editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
  publisher = {IEEE / ACM},
  isbn = {978-1-4673-3076-3},
}