Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Daikon"”.
-
Daikon Summer
… the connections they’ve lost. Juliette brings a daikon radish (no durians were for sale) around with her for company—rolling it around in a little red wagon—hoping to meet-cute with strangers at each movie location she visits. Meanwhile, Hana trades her normal routine for destructive habits to …
-
Generating high confidence contracts without user input using Daikon and ESC/Java2
… in Java; there are two phases first we use Daikon, a tool that suggests invariants using dynamic invariant generation techniques, and next we get the invariants checked using ESC/Java2, which is a static checker for Java. In the first phase an ‘Instrumenter’ program inspects Java classes and …
-
A C/C++ front end for the Daikon dynamic invariant detection system
… details the implementation and performance of a Daikon front end for the C and C++ languages. The Daikon dynamic invariant detection suite is a system designed to extract formal specifications from programs, in the form of information about their variables and their relationships to each other. …
-
Performance enhancements for a dynamic invariant detector
… invariant detectors use a brute force algorithm, Daikon adds powerful optimizations to provide more scalable invariant detection without sacrificing the richness of the reported invariants. Daikon improves scalability by eliminating redundant invariants. For example, the suppression optimization …
-
Equivalence Partitioning as a Basis for Dynamic Conditional Invariant Detection
… with a mature dynamic invariant detection tool Daikon. Given a set of splitting conditions, Daikon can use them to infer conditional invariants. Yacon attempts to recover partitioning information from a given test suite, producing splitting conditions as a result. We introduced two strategies to …
-
Formulating test oracles via anomaly detection techniques
… mining domain (the data invariant detector Daikon [30]) and anomaly detection techniques (based on semi-supervised and unsupervised learning approaches). In most cases semi-supervised learning techniques (mainly Self-training approach - Naïve Bayes with EM clustering algorithm - and …
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
… basada en el generador dinámico de invariantes Daikon, que ha demostrado ser útil para lenguajes imperativos como C/C++, Java y Perl. Daikon es software libre, y se ha integrado con código propio y otros dos sistemas libres: el motor de ejecución compatible WS-BPEL 2.0 ActiveBPEL y la biblioteca …
-
Effects of Farm Management Practices on Pest Slugs and Slug Predators in Field Crops
… this species prefers feeding on maize, soybean, daikon radish, crimson clover, rye, or hairy vetch leaf tissue. Our sampling study found that cover crop use and conservation tillage type did not affect slug presence and damage, but that these factors affected various slug predators in different …
-
Improved software verification through program path-based analysis
… higher quality is indicated when compared with Daikon, a prior technique. Fault injection experiments show high error detection coverage for several types of manifested errors. Results for PREAMBL show higher scoring for localized paths than previous approaches.
-
Dynamic Invariant Generation for Concurrent Programs
… and a customized inference engine inside Daikon. We have evaluated the resulting system on public domain multithreaded C/C++ benchmarks. Our experiments show that the new method is effective in generating high-quality invariants. Furthermore, the state and transition invariants generated …
-
Improving the health benefits of broccoli through myrosinase maintenance
… source of myrosinase was added to the surface. Daikon radish root supported sulforaphane formation even when heated at 125 °C for 10 min, a time and temperature comparable to or greater than microwave cooking. Daikon radish (0.25%) added to frozen broccoli that was then allowed to thaw supported …