default search action

combined dblp search
author search
venue search
publication search

ask others

3rd MBT 2007: Braga, Portugal

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > MBT

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/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbt/2007
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007. Electronic Notes in Theoretical Computer Science 190(2), Elsevier 2007
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP07
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/BorodayPG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BorodayPG07
Sergiy Boroday, Alexandre Petrenko, Roland Groz:
Can a Model Checker Generate Tests for Non-Deterministic Systems? 3-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DadeauLB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DadeauLB07
Frédéric Dadeau, Yves Ledru, Lydie du Bousquet:
Measuring a Java Test Suite Coverage Using JML Specifications. 21-32
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FraserAW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FraserAW07
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. 33-46
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HesselP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HesselP07
Anders Hessel, Paul Pettersson:
A Global Algorithm for Model-Based Test Suite Generation. 47-59
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KollmannH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KollmannH07
Maik Kollmann, Yuen Man Hon:
Generating Scenarios by Multi-Object Checking. 61-72
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LedruBDA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LedruBDA07
Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti:
A Case Study in Matching Test and Proof Coverage. 73-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OuimetL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OuimetL07
Martin Ouimet, Kristina Lundqvist:
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. 85-97
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PaivaFV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PaivaFV07
Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal:
Towards the Integration of Visual and Formal Models for GUI Testing. 99-111
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RaimondiPB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RaimondiPB07
Franco Raimondi, Charles Pecheur, Guillaume Brat:
Testing Planning Domains (without Model Checkers). 113-125

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.