4079 search results - page 595 / 816 » Differential Testing for Software |
111
click to vote
ICDS
2009
IEEE
15 years 11 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
140
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
143
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In recent years, the recognition of Farsi and Arabic handwriting is drawing increasing attention. This paper describes the result of the ICDAR 2009 competition for handwritten Far...
148
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
122
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Information retrieval systems are evaluated against test collections of topics, documents, and assessments of which documents are relevant to which topics. Documents are chosen fo...