105 search results - page 2 / 21 » Introducing model-based testing techniques in industrial pro... |
ISOLA
2004
Springer
13 years 11 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
UML
2004
Springer
13 years 11 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
SEFM
2007
IEEE
14 years 2 days ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
IFIP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...