4930 search results - page 163 / 986 » Testing a Safety-Critical Application |
177
click to vote
SMA
2010
ACM
15 years 6 months ago
2010
ACM
We present an algorithm which robustly computes the intersection curve(s) of an under-constrained piecewise polynomial system consisting of n equations with n + 1 unknowns. The so...
133
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
The Kolmogorov–Smirnov test determines the consistency of empirical data with a particular probability distribution. Often, parameters in the distribution are unknown, and have ...
163
click to vote
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
15 years 6 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
149
click to vote
JSS
2008
15 years 6 months ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
168
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...