EPTCS 80 - MBT 2012

Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings 7th Workshop on Model-Based Testing. EPTCS 80 2012

- view
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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
  - electronic edition @ doi.org
- 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