612 search results - page 40 / 123 » Using Static Analysis to Improve Automatic Test Generation |
IROS
2008
IEEE
14 years 2 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...
IPM
2007
13 years 8 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
13 years 10 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 ...
AOSD
2007
ACM
14 years 15 days 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...
CASES
2008
ACM
13 years 10 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...