2026 search results - page 166 / 406 » Tools for Test Case Generation |
135
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this work we concentrate on generating compound words with high order n-gram information for speech recognition. In most existing compound words generation methods, only bi-gra...
138
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Genotype information generated by individual and international efforts carries the promise of revolutionizing disease studies and the association of phenotypes with al...
145
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
148
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
117
click to vote
SAS
2000
Springer
15 years 7 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...