2302 search results - page 25 / 461 » Testing as Abstraction |
151
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
116
click to vote
SE
2008
15 years 6 months ago
2008
Abstract: Das Papier stellt ein modellgetriebenes Softwareprojekt vor, in dem systematisch mit Hilfe des Testframeworks FitNesse getestet wurde. Dabei werden Vorund Nachteile des W...
143
click to vote
STTT
2008
15 years 5 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
160
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
130
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...