2539 search results - page 24 / 508 » Debugging Method Names |
129
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
100
click to vote
WISES
2004
15 years 3 months ago
2004
-- A main prerequisite for the successful development of real-time systems is the capability for debugging and monitoring of these systems. The debugging of real-time systems is mo...
KBSE
2010
IEEE
15 years 15 days ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
COLING
2002
15 years 1 months ago
2002
This paper proposes an unsupervised learning model for classifying named entities. This model uses a training set, built automatically by means of a small-scale named entity dicti...
111
click to vote
ECIR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In the named entity normalization task, a system identifies a canonical unambiguous referent for names like Bush or Alabama. Resolving synonymy and ambiguity of such name...