523 search results - page 45 / 105 » Symbolic Test Selection Based on Approximate Analysis |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Intuition is often not a good guide to know which testing strategies will work best. There is no substitute for experimental analysis based on objective criteria: how many bugs a ...
BMCBI
2008
13 years 7 months ago
2008
Background: Gene family identification from ESTs can be a valuable resource for analysis of genome evolution but presents unique challenges in organisms for which the entire genom...
ESOP
2001
Springer
14 years 5 days ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we present a prototype system for image based localization in urban environments. Given a database of views of city street scenes tagged by GPS locations, the system...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—The need to quickly and accurately classify Internet traffic for security and QoS control has been increasing significantly with the growing Internet traffic and applications ov...