2302 search results - page 42 / 461 » Testing as Abstraction |
187
click to vote
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
155
click to vote
BIOSIG
2003
15 years 6 months ago
2003
Abstract: Biometric identification and verification technologies, in the past, have promised high performance levels. Such performance statements lead to the assumption, that these...
150
click to vote
FORTE
1996
15 years 6 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
140
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...
172
click to vote
UTP
2010
15 years 3 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...