{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:04Z","timestamp":1725515164669},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_7","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T11:58:24Z","timestamp":1216209504000},"page":"98-117","source":"Crossref","is-referenced-by-count":2,"title":["TestML - A Test Exchange Language for Model-Based Testing of Embedded Software"],"prefix":"10.1007","author":[{"given":"Juergen","family":"Grossmann","sequence":"first","affiliation":[]},{"given":"Ines","family":"Fey","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Krupp","sequence":"additional","affiliation":[]},{"given":"Mirko","family":"Conrad","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Wewetzer","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Mueller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Sch\u00e4uffele, Zurawka (ed.): Automotive Software Engineering. Vieweg & Sohn Verlag, Wiesbaden (2006)"},{"key":"7_CR2","unstructured":"National Instruments: Web pages of the National Instruments corporation (2007)"},{"key":"7_CR3","unstructured":"dSpace AG: Web pages of the dSpace corporation (2005)"},{"key":"7_CR4","unstructured":"Etas Group: Web pages of the Etas Group (2007)"},{"key":"7_CR5","unstructured":"Vector Informatik GmbH: Web pages of the Vector Informatik GmbH (2007)"},{"key":"7_CR6","unstructured":"MBtech Group: Web pages of the MBtech Group (2007)"},{"key":"7_CR7","unstructured":"IEEE: IEEE Std.1800-2005 - Standard for SystemVerilog Unified Hardware Design, Specification and Verification Language (2005)"},{"key":"7_CR8","unstructured":"IEEE: IEEE Std.1850-2005 - IEEE Standard for Property Specification Language (PSL) (2005)"},{"key":"7_CR9","unstructured":"IEEE: IEEE Std.1647-2006 - Standard for the Functional Verification Language \u2019e\u2019 (2006)"},{"key":"7_CR10","volume-title":"Verification methodology manual for SystemVerilog","author":"J. Bergeron","year":"2006","unstructured":"Bergeron, J., Cerny, E., Nightingale, A., Hunter, A.: Verification methodology manual for SystemVerilog. Springer, Heidelberg (2006)"},{"key":"7_CR11","unstructured":"SCC20 ATML Group: IEEE ATML specification drafts and IEEE ATML status reports (2006)"},{"key":"7_CR12","unstructured":"ETSI: ES 201 873-1 V3.2.1: Methods for Testing and Specification (MTS). The Testing and Test Control Notation Version 3, Part 1: TTCN-3 Core Language (2007)"},{"key":"7_CR13","unstructured":"Schieferdecker, I., Gro\u00dfmann, J.: Testing of Embedded Control Systems with Continous Signals. In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, TU Braunschweig, pp. 113\u2013122 (2006)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1138474.1138481","volume-title":"SEAS 2006: Proceedings of the 2006 international workshop on Software engineering for automotive systems","author":"I. Schieferdecker","year":"2006","unstructured":"Schieferdecker, I., Bringmann, E., Grossmann, J.: Continuous TTCN-3: testing of embedded control systems. In: SEAS 2006: Proceedings of the 2006 international workshop on Software engineering for automotive systems, pp. 29\u201336. ACM Press, New York (2006)"},{"key":"7_CR15","unstructured":"IMMOS Project: TestML schema definition version 1.0.3 (2006)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Conrad, M.: Modell-basierter Test eingebetteter Software im Automobil. PhD thesis, TU-Berlin (2004)","DOI":"10.1007\/978-3-322-81246-9"},{"key":"7_CR17","unstructured":"Conrad, M., Sax, E.: Mixed signals. In: Testing Embedded Software, pp. 229\u2013249 (2003)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: hybrid systems, pp. 209\u2013229 (1992)","DOI":"10.1007\/3-540-57318-6_30"},{"key":"7_CR19","unstructured":"Lehmann, E.: Time Partition Testing Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen. PhD thesis, TU-Berlin, Berlin (2004)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Grossmann, J., Mueller, W.: A Formal Behavioral Semantics for TestML. In: Proc. of IEEE ISoLA 2006, Paphos Cyprus, pp. 453\u2013460 (2006)","DOI":"10.1109\/ISoLA.2006.37"},{"key":"7_CR21","unstructured":"The MathWorks: Web pages of Simulink - Simulation and Model-Based Design (2006)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:32:40Z","timestamp":1620001960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}