Smart Testing of Functional Programs in Isabelle
From MaRDI portal
Publication:2891447
DOI10.1007/978-3-642-28717-6_14zbMath1352.68039OpenAlexW37906187MaRDI QIDQ2891447
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_14
Related Items
Foundational Property-Based Testing ⋮ αCheck: A mechanized metatheory model checker ⋮ From LCF to Isabelle/HOL
Uses Software
This page was built for publication: Smart Testing of Functional Programs in Isabelle
