2171 search results - page 2 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
LOBJET
2002
13 years 4 months ago
2002
Coping with huge amounts of data is one of the major problems in the context of software evolution. Current approaches reduce this complexity by filtering out irrelevant informatio...
SOCO
2008
Springer
13 years 5 months ago
2008
Springer
FCCM
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...