4650 search results - page 396 / 930 » Generating and evaluating evaluative arguments |
209
click to vote
KBSE
2010
IEEE
15 years 6 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
201
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
172
click to vote
ICITS
2009
15 years 5 months ago
2009
In this article, we discuss a naive method of randomness reduction for cryptographic schemes, which replaces the required perfect randomness with output distribution of a computat...
197
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
This paper presents a method for rescoring the speech recognition lattices on-the-fly to increase the word accuracy while preserving low latency of a real-time speech recognition ...
297
click to vote
ICST
2011
IEEE
14 years 11 months ago
2011
IEEE
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...