SpecCheck - Specification-Based Testing for Isabelle/ML.

Kevin Kappelmann Lukas Bulwahn Sebastian Willenbrink

Published in: Arch. Formal Proofs (2021)

Keyphrases

maximum likelihood
test case generation
formal verification
test cases
theorem prover
case study
high level
formal specification
software testing
real time
databases
genetic algorithm
data model