21 search results - page 1 / 5 » A Slicing-Based Approach for Locating Type Errors |
DSL
1997
13 years 6 months ago
1997
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
ICDE
2007
IEEE
14 years 6 months ago
2007
IEEE
In location-based services, it is common for a user to issue a query based on his/her current position. One such example is "find the available cabs within two miles of my cu...
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
ISBI
2004
IEEE
14 years 6 months ago
2004
IEEE
We present a novel method of statistical surface-based morphometry based on the use of non-parametric permutation tests. In order to evaluate morphologicaldifferences of brain str...