default search action

combined dblp search
author search
venue search
publication search

ask others

7th MBT@ETAPS 2012: Tallinn, Estonia

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.