481 search results - page 40 / 97 » Differential symbolic execution |
170
click to vote
FOCS
2010
IEEE
14 years 10 months ago
2010
IEEE
Boosting is a general method for improving the accuracy of learning algorithms. We use boosting to construct improved privacy-preserving synopses of an input database. These are da...
111
click to vote
EUROGP
2010
Springer
15 years 5 months ago
2010
Springer
We describe a data mining framework that derives panelist information from sparse flavour survey data. One component of the framework executes genetic programming ensemble based s...
105
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
113
Voted
CCS
2010
ACM
15 years 23 days ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
113
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...