@inproceedings{57300,
  abstract     = {{Engineering methodologies for Cyber-Physical Systems (CPS) call for planning simulations and physical testing in early phases of product creation. Even in Model-Based Systems Engineering, there is a lack of systematic support that results in avoidable costs and iterations in the engineering process. Planning test cases and test scenarios along the product engineering process is not sufficiently integrated in terms of support especially for verification and validation engineers. Based on a systematic literature review, concepts for model-based planning of testing are developed. Characteristics of test cases and test scenarios of CPS are systematically identified. Generic templates for the creation of test cases and scenarios are derived. Based on the templates, a System Modeling Language (SysML) profile extension is developed which enables intuitive modelling of test cases and scenarios. The SysML profile is evaluated in a sample System-of-Systems in Disaster Response. It subsumes various types of sensor systems like rescue robotics, data science algorithms and visualization technologies like Augmented Reality to support decisions in extreme weather events. The templates and SysML profile significantly add value for engineers in the early and systematic planning of verification and validation.}},
  author       = {{Gräßler, Iris and Ebel, Marcel and Pottebaum, Jens}},
  booktitle    = {{2024 IEEE International Symposium on Systems Engineering (ISSE)}},
  keywords     = {{Systems Engineering, Systems verification, System testing}},
  location     = {{Perugia}},
  publisher    = {{IEEE}},
  title        = {{{Model-based planning of test cases and test scenarios to support engineering of Cyber-Physical Systems}}},
  doi          = {{10.1109/isse63315.2024.10741135}},
  year         = {{2024}},
}

@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}},
}

@inproceedings{38107,
  abstract     = {{TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.}},
  author       = {{Großmann, Jürgen and Müller, Wolfgang}},
  booktitle    = {{Proc. of ISOLA 06}},
  isbn         = {{978-0-7695-3071-0}},
  keywords     = {{System testing, Software testing, Automotive engineering, Automatic testing, Machinery production industries, Protocols, Hardware design languages, Samarium, XML, Computer industry}},
  location     = {{Paphos, Cyprus}},
  title        = {{{A Formal Behavioral Semantics for TestML}}},
  doi          = {{10.1109/ISoLA.2006.37}},
  year         = {{2006}},
}