@InBook{Schieferdecker2013b,
  author    = {Ina Kathrin Schieferdecker and Alain-Georges Vouffo-Feudjio},
  booktitle = {Formal Methods for Industrial Critical Systems: A Survey of Applications},
  title     = {The Testing and Test Control Notation {TTCN}-3 and its Use},
  doi       = {10.1002/9781118459898.ch10},
  pages     = {205--233},
  publisher = {Wiley-Blackwell},
  abstract  = {The testing and test control Notation TTCN-3 language was created due to the imperative necessity to have universally understood language syntax able to describe test behavior specifications. TTCN-3 enables systematic, specification-based testing for various kinds of tests including, for example, conformance, interoperability, regression, robustness, performance, and scalability testing. A test system can communicate with a system under test (SUT) synchronously or asynchronously. In this chapter, a small test specification in TTCN-3 is given in order to give an insight into this technology. The semantics of TTCN-3 is defined by an operational semantics, which defines the meaning of TTCN-3 behaviors in an intuitive and unambiguous manner. The chapter also describes different case studies that demonstrate the application of the TTCN-3 to test various target systems.},
  file      = {:2013/Schieferdecker2013b - The Testing and Test Control Notation TTCN 3 and Its Use.pdf:PDF},
  keywords  = {system under test (SUT); TTCN-3;testing},
  type      = {inbook},
  year      = {2013}
}