@inproceedings{37037,
  abstract     = {{Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition.}},
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  booktitle    = {{Proceedings of DATE’10}},
  keywords     = {{System testing, Automatic testing, Object oriented modeling, Classification tree analysis, Automotive engineering, Mathematical model, Embedded system, Control systems, Electronic equipment testing, Software testing}},
  location     = {{Dresden}},
  publisher    = {{IEEE}},
  title        = {{{A Systematic Approach to Combined HW/SW System Test}}},
  doi          = {{10.1109/DATE.2010.5457186}},
  year         = {{2010}},
}

@inproceedings{38784,
  abstract     = {{This article presents the classification tree method for functional verification to close the gap from the specification of a test plan to SystemVerilog (Chandra and Chakrabarty, 2001) test bench generation. Our method supports the systematic development of test configurations and is based on the classification tree method for embedded systems (CTM/ES) (Chakrabarty et al., 2000) extending CTM/ES for random test generation as well as for functional coverage and property specification}},
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the Design Automation & Test in Europe Conference}},
  isbn         = {{3-9810801-1-4}},
  keywords     = {{Classification tree analysis, System testing, Embedded system, Safety, Automatic testing, Automation}},
  publisher    = {{IEEE}},
  title        = {{{Classification Trees for Functional Coverage and Random Test Generation}}},
  doi          = {{10.1109/DATE.2006.243902}},
  year         = {{2006}},
}