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 Logical Approach to Data-Aware Automated Sequence Generation
- A taxonomy of exact methods for partial Max-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
- Specification-Based Program Repair Using SAT
- A Study of Symmetry Breaking Predicates and Model Counting
- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
- Generating Unit Tests from Formal Proofs
This page was built for software: TestEra
