Model-Based Testing of Reactive Systems (bibtex)
by Axel Belinfante, Lars Franzen, Christian Schallhart
Model-Based Testing of Reactive SystemsAxel Belinfante, Lars Franzen, Christian SchallhartChapter in Tools for Test Case Generation, volume 3472 of Lecture Notes in Computer Science, pages 391-438, 2005, Springer.
Bibtex Entry:
  author = {Axel Belinfante and Lars Franzen and Christian Schallhart},
  title = {{Model-Based Testing of Reactive Systems}},
  year = {2005},
  chapter = {{Tools for Test Case Generation}},
  pages = {391--438},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3472}
Powered by bibtexbrowser