612 search results - page 40 / 123 » Using Static Analysis to Improve Automatic Test Generation |
103
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
— Most of the existing camera calibration toolboxes require the observation of a checkerboard shown by the user at different positions and orientations. This paper presents an al...
111
click to vote
IPM
2007
15 years 1 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
EMNLP
2007
15 years 3 months ago
2007
This paper compares a deep and a shallow processing approach to the problem of classifying a sentence as grammatically wellformed or ill-formed. The deep processing approach uses ...
118
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
147
click to vote
CASES
2008
ACM
15 years 4 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...