3639 search results - page 104 / 728 » Experiments on IPv6 Testing |
FATES
2005
Springer
15 years 6 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
106
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
111
Voted
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...
106
Voted
ASWEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
107
Voted
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...