TestEra
From MaRDI portal
Software:19307
No author found.
Related Items (max. 100)
A Study of Symmetry Breaking Predicates and Model Counting ⋮ A Logical Approach to Data-Aware Automated Sequence Generation ⋮ Automation of broad sanity test generation ⋮ Automata-based verification of programs with tree updates ⋮ Theory and Applications of Satisfiability Testing ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ Specification-Based Program Repair Using SAT ⋮ Relational and Kleene-Algebraic Methods in Computer Science ⋮ Unnamed Item ⋮ Generating Unit Tests from Formal Proofs ⋮ Alloy*: a general-purpose higher-order relational constraint solver ⋮ Combining test case generation and runtime verification ⋮ CompoSAT: specification-guided coverage for model finding ⋮ 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
This page was built for software: TestEra
