EPTCS 80 - MBT 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-5826
- ask others
Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings 7th Workshop on Model-Based Testing. 2012 EPTCS 80 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6118
- ask others
Ina Schieferdecker, Juergen Grossmann, Martin Schneider: Model-Based Security Testing. ... 1-12
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6119
- ask others
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu: Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool. ... 13-27
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6120
- ask others
Maximiliano Cristiá, Claudia S. Frydman: Applying SMT Solvers to the Test Template Framework. ... 28-42
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6121
- ask others
Dirk Richter, Christian Berg: Exact Gap Computation for Code Coverage Metrics in ISO-C. ... 43-57
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6122
- ask others
Teemu Kanstrén, Olli-Pekka Puolitaival: Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation. ... 58-72
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6124
- ask others
Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. ... 73-87
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6123
- ask others
Bernhard K. Aichernig, Elisabeth Jöbstl: Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking. ... 88-102
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6125
- ask others
Dimitry Polivaev: Rule-based Test Generation with Mind Maps. ... 103-114
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6126
- ask others
Danel Ahman, Marko Kääramees: Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs. ... 115-129
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-6127
- ask others
Yevgeny Gerlits, Alexey V. Khoroshilov: Model-Based Testing of Safety Critical Real-Time Control Logic Software. ... 130-144