145
Voted
FORTEST
15 years 2 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...
106
Voted
FORTEST
15 years 2 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...
FORTEST
15 years 2 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...
120
click to vote
FORTEST
15 years 2 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...
78
Voted
FORTEST
15 years 2 months ago
2008  |
Formal Methods