Search Results

Documents authored by Pretschner, Alexander


Document
10421 Abstracts Collection – Model-Based Testing in Practice

Authors: Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner

Published in: Dagstuhl Seminar Proceedings, Volume 10421, Model-Based Testing in Practice (2011)


Abstract
From 17.10. to 22.10.2010, the Dagstuhl Seminar 10421 ``Model-Based Testing in Practice '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner. 10421 Abstracts Collection – Model-Based Testing in Practice. In Model-Based Testing in Practice. Dagstuhl Seminar Proceedings, Volume 10421, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{grieskamp_et_al:DagSemProc.10421.1,
  author =	{Grieskamp, Wolfgang and Hierons, Robert M. and Pretschner, Alexander},
  title =	{{10421 Abstracts Collection – Model-Based Testing in Practice}},
  booktitle =	{Model-Based Testing in Practice},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10421},
  editor =	{Wolfgang Grieskamp and Robert M. Hierons and Alexander Pretschner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10421.1},
  URN =		{urn:nbn:de:0030-drops-29243},
  doi =		{10.4230/DagSemProc.10421.1},
  annote =	{Keywords: Testing, Modeling, Model-Driven Development}
}
Document
10421 Summary – Model-Based Testing in Practice

Authors: Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner

Published in: Dagstuhl Seminar Proceedings, Volume 10421, Model-Based Testing in Practice (2011)


Abstract
Software testing is one of the most cost-intensive tasks in the modern software production process. Model-based testing is a light-weight formal method which enables the automatic derivation of tests from software models and their environment. Model-based testing (MBT) has matured as a rich research area in the last decade, with a significant body of research and applications. The academic community is well established with many conferences, workshops, and research projects. Tools for model-based testing have been developed both as research prototypes and as commercial or semi-commercial applications brought to users by midsize and enterprise-level companies, and applied in large scale projects. In the family of model-driven approaches, model-based testing can be seen as a success story in particular with respect to the degree of mechanical processing and automation that has been achieved, and the adoption in practice. The successful deployment of model-based testing in industrial settings can be seen in the telecommunication domain, chip cards, specific Windows components, and embedded systems in general. An interesting issue is under which circumstances we can expect these successes to carry over to other domains and families of systems as well (e.g., distributed systems; testing the cloud).

Cite as

Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner. 10421 Summary – Model-Based Testing in Practice. In Model-Based Testing in Practice. Dagstuhl Seminar Proceedings, Volume 10421, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{grieskamp_et_al:DagSemProc.10421.2,
  author =	{Grieskamp, Wolfgang and Hierons, Robert M. and Pretschner, Alexander},
  title =	{{10421 Summary – Model-Based Testing in Practice}},
  booktitle =	{Model-Based Testing in Practice},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10421},
  editor =	{Wolfgang Grieskamp and Robert M. Hierons and Alexander Pretschner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10421.2},
  URN =		{urn:nbn:de:0030-drops-29258},
  doi =		{10.4230/DagSemProc.10421.2},
  annote =	{Keywords: Testing, Modeling, Model-Driven Development}
}
Document
10141 Abstracts Collection – Distributed Usage Control

Authors: Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett

Published in: Dagstuhl Seminar Proceedings, Volume 10141, Distributed Usage Control (2010)


Abstract
From 06.04. to 09.04.2010, the Dagstuhl Seminar 10141 ``Distributed Usage Control '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett. 10141 Abstracts Collection – Distributed Usage Control. In Distributed Usage Control. Dagstuhl Seminar Proceedings, Volume 10141, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{etalle_et_al:DagSemProc.10141.1,
  author =	{Etalle, Sandro and Pretschner, Alexander and Sandhu, Ravi S. and Winslett, Marianne},
  title =	{{10141 Abstracts Collection – Distributed Usage Control}},
  booktitle =	{Distributed Usage Control},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10141},
  editor =	{Sandro Etalle and Alexander Pretschner and Raiv S. Sandhu and Marianne Winslett},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.1},
  URN =		{urn:nbn:de:0030-drops-27185},
  doi =		{10.4230/DagSemProc.10141.1},
  annote =	{Keywords: Usage control, access control, data protection, privacy, security policies, trust, trusted computing, compliance, DRM, information flow}
}
Document
10141 Summary – Distributed Usage Control

Authors: Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett

Published in: Dagstuhl Seminar Proceedings, Volume 10141, Distributed Usage Control (2010)


Abstract
We summarize Dagstuhl seminar 10141 on Distributed Usage Control.

Cite as

Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett. 10141 Summary – Distributed Usage Control. In Distributed Usage Control. Dagstuhl Seminar Proceedings, Volume 10141, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{etalle_et_al:DagSemProc.10141.2,
  author =	{Etalle, Sandro and Pretschner, Alexander and Sandhu, Ravi S. and Winslett, Marianne},
  title =	{{10141 Summary – Distributed Usage Control}},
  booktitle =	{Distributed Usage Control},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10141},
  editor =	{Sandro Etalle and Alexander Pretschner and Raiv S. Sandhu and Marianne Winslett},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.2},
  URN =		{urn:nbn:de:0030-drops-27174},
  doi =		{10.4230/DagSemProc.10141.2},
  annote =	{Keywords: Usage control, access control, data protection, privacy, security policies, trust, trusted computing, compliance, DRM, information flow}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail