1399 search results - page 182 / 280 » Verification of Test Suites |
169
Voted
ICAS
2006
IEEE
16 years 1 months 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...
196
click to vote
PLDI
2006
ACM
16 years 1 months 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...
205
Voted
CSCLP
2005
Springer
16 years 28 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...
182
Voted
LCPC
2005
Springer
16 years 27 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...
185
Voted
XSYM
2005
Springer
16 years 26 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...