Daikon

swMATH4319MaRDI QIDQ16498FDOQ16498

Author name not available (Why is that?)

Described by source

• The Daikon system for dynamic detection of likely invariants

Cited In (36)

• On invariant checking
• Using Fault Screeners for Software Error Detection
• Survey on mining signal temporal logic specifications
• Automatic Inference of Access Permissions
• White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
• Dynamic inference of polymorphic lock types
• Symbolic abstract contract synthesis in a rewriting framework
• Towards light-weight probabilistic model checking
• A formalization of programs in first-order logic with a discrete linear order
• Inferring Canonical Register Automata
• A Hybrid Approach to Modeling Biological Systems
• Automated verification of functional correctness of race-free GPU programs
• Specification and Runtime Verification of Java Card Programs
• From invariant checking to invariant inference using randomized search
• A versatile concept for the analysis of loops
• Active learning for extended finite state machines
• Test-data generation for control coverage by proof
• How the design of JML accommodates both runtime assertion checking and formal verification
• Reflexive transitive invariant relations: A basis for computing loop functions
• Automata Learning through Counterexample Guided Abstraction Refinement
• Effective use of SMT solvers for program equivalence checking through invariant-sketching and query-decomposition
• Mathematics for reasoning about loop functions
• Verification and falsification of programs with loops using predicate abstraction
• Title not available (Why is that?)
• Learning Shape Analysis
• Verifying Array Manipulating Programs with Full-Program Induction
• JCML: A specification language for the runtime verification of Java card programs
• Learning register automata: from languages to program structures
• Model Checking Merged Program Traces
• Policy-Centric Protection of OS Kernel from Vulnerable Loadable Kernel Modules
• Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
• Specification and verification challenges for sequential object-oriented programs
• Collaborative Verification and Testing with Explicit Assumptions
• Programming by predicates: a formal model for interactive synthesis
• Relational program reasoning using compiler IR
• Quick specifications for the busy programmer

This page was built for software: Daikon