@inproceedings{bluemke:hal-01527388,
  TITLE = {{Dataflow Testing of Java Programs with DFC}},
  AUTHOR = {Bluemke, Ilona and Rembiszewski, Artur},
  URL = {https://inria.hal.science/hal-01527388},
  NOTE = {Part 3: Measurements, Testing, and Quality of Software},
  BOOKTITLE = {{4th Central and East European Conference on Software Engineering Techniques (CEESET)}},
  ADDRESS = {Krakow, Poland},
  EDITOR = {David Hutchison and Takeo Kanade and Madhu Sudan and Demetri Terzopoulos and Doug Tygar and Moshe Y. Vardi and Gerhard Weikum and Tomasz Szmuc and Marcin Szpyrka and Jaroslav Zendulka and Josef Kittler and Jon M. Kleinberg and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan and Bernhard Steffen},
  PUBLISHER = {{Springer}},
  SERIES = {Advances in Software Engineering Techniques},
  VOLUME = {LNCS-7054},
  PAGES = {215-228},
  YEAR = {2009},
  MONTH = Oct,
  DOI = {10.1007/978-3-642-28038-2\_17},
  KEYWORDS = {Dataflow coverage testing ; tool supporting testing},
  PDF = {https://inria.hal.science/hal-01527388/file/978-3-642-28038-2_17_Chapter.pdf},
  HAL_ID = {hal-01527388},
  HAL_VERSION = {v1},
}