Model-Based Testing 2010: Short Abstracts

Authors:
Jan Tretmans;Florian Prester;Philipp Helle;Wladimir Schamai
Affiliations:
Embedded Systems Institute, Eindhoven, The Netherlands;sepp.med gmbh, 91341 Roettenbach, Germany;EADS Innovation Works, Filton, UK;EADS Innovation Works, Hamburg, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 6
Cited 0

Software requirements: objects, functions, and states

Software requirements: objects, functions, and states
Software testing based on formal specifications: a theory and a tool

Software Engineering Journal
Early fault detection with model-based testing

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Model-Based Testing of Electronic Passports

FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Model-based testing of environmental conformance of components

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Model based testing with labelled transition systems

Formal methods and testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article contains three short abstracts of presentations given at the Sixth Workshop on Model-Based Testing (MBT 2010) on March 21, 2010 in Paphos, Cyprus: Theory of Model-Based Testing and How ioco Goes eco by Jan Tretmans (invited presentation), Model-Centric Testing by Florian Prester and Specification Model Based Testing in the Avionic Domain - Current Status and Future Directions by Philipp Helle and Wladimir Schamai.