1057 search results - page 8 / 212 » Testing from Formal Specifications, a Generic Approach |
SERA
2007
Springer
14 years 1 months ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
IICAI
2007
13 years 9 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
ENTCS
2002
13 years 7 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
MBEES
2008
13 years 9 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...