193 search results - page 37 / 39 » Software partitioning for effective automated unit testing |
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
SCFBM
2008
14 years 9 months ago
2008
Background: Biological imaging is an emerging field, covering a wide range of applications in biological and clinical research. However, while machinery for automated experimentin...
ISPASS
2008
IEEE
15 years 4 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
87
Voted
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...
81
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
We present a new automated white box fuzzing technique and a tool, BuzzFuzz, that implements this technique. Unlike standard fuzzing techniques, which randomly change parts of the...