981 search results - page 132 / 197 » Symbolic pointer analysis |
115
Voted
ICDAR
2011
IEEE
14 years 3 days ago
2011
IEEE
—Research in the field of recognizing unlimited vocabulary, online handwritten Indic words is still in its infancy. Most of the focus so far has been in the area of isolated cha...
96
Voted
IJCAI
2007
15 years 1 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
75
Voted
ECIS
2004
15 years 1 months ago
2004
The dot-com boom in the late 1990s attracted vast numbers of undergraduate students into the field of Information Systems (IS) with the promise of being the next "big thing&q...
100
click to vote
TAP
2008
Springer
15 years 12 days ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
113
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...