---
_id: '38107'
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.
author:
- first_name: Jürgen
  full_name: Großmann, Jürgen
  last_name: Großmann
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>'
  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} }'
  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>.'
  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>.
  short: 'J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.'
conference:
  location: Paphos, Cyprus
date_created: 2023-01-23T12:00:06Z
date_updated: 2023-01-23T12:06:26Z
department:
- _id: '672'
doi: 10.1109/ISoLA.2006.37
keyword:
- System testing
- Software testing
- Automotive engineering
- Automatic testing
- Machinery production industries
- Protocols
- Hardware design languages
- Samarium
- XML
- Computer industry
language:
- iso: eng
place: Paphos, Cyprus
publication: Proc. of ISOLA 06
publication_identifier:
  isbn:
  - 978-0-7695-3071-0
status: public
title: A Formal Behavioral Semantics for TestML
type: conference
user_id: '5786'
year: '2006'
...