4107 search results - page 102 / 822 » The Generalized Lambda Test |
106
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
124
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
115
click to vote
APPROX
2009
Springer
15 years 8 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...
ERLANG
2006
ACM
15 years 7 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...