183
Voted
FORTEST
15 years 5 months ago
2008 
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
139
Voted
FORTEST
15 years 5 months ago
2008 
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
124
Voted
FORTEST
15 years 5 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
144
Voted
FORTEST
15 years 5 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
105
Voted
FORTEST
15 years 5 months ago
2008  |
Formal Methods