License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04371.2
URN: urn:nbn:de:0030-drops-3640
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2005/364/
Go to the corresponding Portal

Brinksma, Ed ; Grieskamp, Wolfgang ; Tretmans, Jan

04371 Summary -- Perspectives of Model-Based Testing

pdf-format:
MBTsummary.364.pdf (0.4 MB)

Abstract

The aim of the seminar Perspectives of Model-Based Testing
was to bring together researchers and practitioners
from industry and academia to discuss the state of the art
in theory, methods, tools, applications, and industrialization
of model-based testing, and to identify the important open issues and challenges.

BibTeX - Entry

@InProceedings{brinksma_et_al:DagSemProc.04371.2,
  author =	{Brinksma, Ed and Grieskamp, Wolfgang and Tretmans, Jan},
  title =	{{04371 Summary – Perspectives of Model-Based Testing}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2005/364},
  URN =		{urn:nbn:de:0030-drops-3640},
  doi =		{10.4230/DagSemProc.04371.2},
  annote =	{Keywords: Model-based testing, software testing, formal methods, automatic test generation}
}

Keywords: Model-based testing, software testing, formal methods, automatic test generation
Collection: 04371 - Perspectives of Model-Based Testing
Issue Date: 2005
Date of publication: 28.11.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI