default search action

combined dblp search
author search
venue search
publication search

ask others

4th MBT@ETAPS 2008: Budapest, Hungary

> Home > Conferences and Workshops > MBT
> 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
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/mbt/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbt/2008
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Electronic Notes in Theoretical Computer Science 220(1), Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP08
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GaudelDGLOP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GaudelDGLOP08
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased Random Exploration of Models. 3-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BruckerBW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BruckerBW08
Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Verifying Test-Hypotheses: An Experiment in Test and Proof. 15-27
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FalconeMFR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FalconeMFR08
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing. 29-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PonsG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PonsG08
Claudia Pons, Diego García:
A Lightweight Approach for the Semantic Validation of Model Refinements. 43-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AichernigWW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AichernigWW08
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa:
Improving Fault-based Conformance Testing. 63-77
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DavidLLN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DavidLLN08
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Cooperative Testing of Timed Systems. 79-92
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jurjens08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jurjens08
Jan Jürjens:
Model-based Security Testing Using UMLsec: A Case Study. 93-104

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.