home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
Yevgeny Gerlits
,
Alexey V. Khoroshilov
:
Model-Based Testing of Safety Critical Real-Time Control Logic Software.
130-144