1414 search results - page 213 / 283 » Automated Metamorphic Testing |
ICSE
2009
IEEE-ACM
14 years 8 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...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
The web provides an unprecedented opportunity to evaluate ideas quickly using controlled experiments, also called randomized experiments (single-factor or factorial designs), A/B ...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...