1890 search results - page 69 / 378 » Model-Based Testing in Practice |
KI
2006
Springer
14 years 11 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
COMCOM
2002
14 years 11 months ago
2002
Many security approaches are currently used in organisations. In spite of the widespread use of these security techniques, network intrusion remains a problem. This paper discusse...
102
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
FATES
2005
Springer
15 years 5 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
117
click to vote
JAL
2008
14 years 12 months ago
2008
Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...