1399 search results - page 182 / 280 » Verification of Test Suites |
157
click to vote
ICAS
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
178
click to vote
PLDI
2006
ACM
16 years 24 days ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
194
click to vote
CSCLP
2005
Springer
16 years 11 days ago
2005
Springer
Problems that can be sampled randomly are a good source of test suites for comparing quality of constraint satisfaction techniques. Quasigroup problems are representatives of struc...
169
click to vote
LCPC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
172
click to vote
XSYM
2005
Springer
16 years 9 days ago
2005
Springer
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...