[{"publication":"Proceedings of DATE’10","citation":{"short":"A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","chicago":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>.","apa":"Krupp, A., &#38; Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>","ieee":"A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>.","ama":"Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>","bibtex":"@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }","mla":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>."},"abstract":[{"text":"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.","lang":"eng"}],"date_created":"2023-01-17T10:41:15Z","place":"Dresden","keyword":["System testing","Automatic testing","Object oriented modeling","Classification tree analysis","Automotive engineering","Mathematical model","Embedded system","Control systems","Electronic equipment testing","Software testing"],"type":"conference","department":[{"_id":"672"}],"year":"2010","title":"A Systematic Approach to Combined HW/SW System Test","status":"public","author":[{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"date_updated":"2023-01-17T10:41:25Z","_id":"37037","publisher":"IEEE","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/DATE.2010.5457186"},{"department":[{"_id":"672"}],"type":"conference","keyword":["Classification tree analysis","System testing","Embedded system","Safety","Automatic testing","Automation"],"date_created":"2023-01-24T08:06:09Z","place":"Munich, Germany","abstract":[{"text":"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","lang":"eng"}],"citation":{"apa":"Krupp, A., &#38; Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>","ieee":"A. Krupp and W. Müller, “Classification Trees for Functional Coverage and Random Test Generation,” 2006, doi: <a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. Munich, Germany: IEEE, 2006. <a href=\"https://doi.org/10.1109/DATE.2006.243902\">https://doi.org/10.1109/DATE.2006.243902</a>.","short":"A. Krupp, W. Müller, in: Proceedings of the Design Automation &#38; Test in Europe Conference, IEEE, Munich, Germany, 2006.","mla":"Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>, IEEE, 2006, doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>.","ama":"Krupp A, Müller W. Classification Trees for Functional Coverage and Random Test Generation. In: <i>Proceedings of the Design Automation &#38; Test in Europe Conference</i>. IEEE; 2006. doi:<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>","bibtex":"@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification Trees for Functional Coverage and Random Test Generation}, DOI={<a href=\"https://doi.org/10.1109/DATE.2006.243902\">10.1109/DATE.2006.243902</a>}, booktitle={Proceedings of the Design Automation &#38; Test in Europe Conference}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006} }"},"publication":"Proceedings of the Design Automation & Test in Europe Conference","user_id":"5786","doi":"10.1109/DATE.2006.243902","_id":"38784","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2023-01-24T08:06:14Z","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"publication_identifier":{"isbn":["3-9810801-1-4"]},"title":"Classification Trees for Functional Coverage and Random Test Generation","year":"2006","status":"public"},{"language":[{"iso":"eng"}],"_id":"38107","doi":"10.1109/ISoLA.2006.37","user_id":"5786","conference":{"location":"Paphos, Cyprus"},"publication_identifier":{"isbn":["978-0-7695-3071-0"]},"author":[{"first_name":"Jürgen","last_name":"Großmann","full_name":"Großmann, Jürgen"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"status":"public","title":"A Formal Behavioral Semantics for TestML","year":"2006","date_updated":"2023-01-23T12:06:26Z","place":"Paphos, Cyprus","date_created":"2023-01-23T12:00:06Z","department":[{"_id":"672"}],"keyword":["System testing","Software testing","Automotive engineering","Automatic testing","Machinery production industries","Protocols","Hardware design languages","Samarium","XML","Computer industry"],"type":"conference","citation":{"short":"J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.","chicago":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In <i>Proc. of ISOLA 06</i>. Paphos, Cyprus, 2006. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>.","ieee":"J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>.","apa":"Großmann, J., &#38; Müller, W. (2006). A Formal Behavioral Semantics for TestML. <i>Proc. of ISOLA 06</i>. <a href=\"https://doi.org/10.1109/ISoLA.2006.37\">https://doi.org/10.1109/ISoLA.2006.37</a>","bibtex":"@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }","ama":"Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: <i>Proc. of ISOLA 06</i>. ; 2006. doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>","mla":"Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” <i>Proc. of ISOLA 06</i>, 2006, doi:<a href=\"https://doi.org/10.1109/ISoLA.2006.37\">10.1109/ISoLA.2006.37</a>."},"publication":"Proc. of ISOLA 06","abstract":[{"lang":"eng","text":"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."}]}]