TestEra
From MaRDI portal
Software:19307
swMATH7258MaRDI QIDQ19307FDOQ19307
Author name not available (Why is that?)
Cited In (15)
- CompoSAT: specification-guided coverage for model finding
- A taxonomy of exact methods for partial Max-SAT
- Specification-based program repair using SAT
- Automation of broad sanity test generation
- Theory and Applications of Satisfiability Testing
- Automata-based verification of programs with tree updates
- Relational and Kleene-Algebraic Methods in Computer Science
- Combining test case generation and runtime verification
- Alloy*: a general-purpose higher-order relational constraint solver
- Title not available (Why is that?)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- Testing-based formal verification for theorems and its application in software specification verification
- A logical approach to data-aware automated sequence generation
- Generating Unit Tests from Formal Proofs
- A study of symmetry breaking predicates and model counting
This page was built for software: TestEra
