729 search results - page 20 / 146 » A Transitive Closure Based Algorithm for Test Generation |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
PTS
2008
13 years 9 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
CLEF
2009
Springer
13 years 8 months ago
2009
Springer
We present Promodes, an algorithm for unsupervised word decomposition, which is based on a probabilistic generative model. The model considers segment boundaries as hidden variable...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
ICSEA
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...