10 search results - page 1 / 2 » Model-Based Testing of a WAP Gateway: An Industrial Case-Stu... |
FMICS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
EMSOFT
2005
Springer
14 years 12 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
WOSP
1998
ACM
13 years 11 months ago
1998
ACM
ÐAn approach to software performance testing is discussed. A case study describing the experience of using this approach for testing the performance of a system used as a gateway ...
FATES
2005
Springer
14 years 14 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
ENTCS
2007
13 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...