@InProceedings{Schieferdecker1996a,
  author    = {Ina Kathrin Schieferdecker and Axel Rennoch},
  booktitle = {Proceedings of the 6. GI/ITG-Fachgespr{\"a}ch “Formale Beschreibungstechniken f{\"u}r verteilte Systeme”, University Erlangen},
  title     = {Formal Based Testing of {ATM} Signalling},
  abstract  = {The paper describes an ongoing work on setting up a formal based testing methodology that covers the test suite generation from a protocol specification, the consistency check between protocol specification and test suite, the implementation of test suites, and the test result analysis. We are going to establish a tool set that allows us to automate the testing process as far as possible. The working example are ATM signalling protocols in local area networks.},
  file      = {:1996/Schieferdecker1996a - Formal Based Testing of ATM Signalling.pdf:PDF},
  type      = {gconference},
  year      = {1996}
}