637 search results - page 128 / 128 » Filtering with Approximate Predicates |
CCS
2006
ACM
13 years 9 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
BMCBI
2010
13 years 5 months ago
2010
Background: Profile hidden Markov models (profile-HMMs) are sensitive tools for remote protein homology detection, but the main scoring algorithms, Viterbi or Forward, require con...