Sciweavers

3639 search results - page 106 / 728
» Experiments on IPv6 Testing
Sort
View
86
Voted
METRICS
1997
IEEE
15 years 5 months ago
An Empirical Analysis of Equivalence Partitioning, Boundary Value Analysis and Random Testing
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...
Stuart Reid
118
Voted
FMICS
2006
Springer
15 years 4 months ago
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
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...
Anders Hessel, Paul Pettersson
104
Voted
EGOV
2008
Springer
15 years 2 months ago
Test Strategies for Evaluation of Semantic eGovernment Applications
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
Ralf Klischewski, Stefan Ukena
ESEM
2008
ACM
15 years 2 months ago
Empirical evaluations of regression test selection techniques: a systematic review
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...
Emelie Engström, Mats Skoglund, Per Runeson
112
Voted
ICST
2010
IEEE
14 years 11 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...