Deductive Search for Errors in Free Data Type Specifications Using Model Generation

The Importance of Non-theorems and Counterexamples in Program Verification

Verified Software: Theories, Tools, Experiments

Automating Algebraic Specifications of Non-freely Generated Data Types

ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis

Automated Flaw Detection in Algebraic Specifications

Journal of Automated Reasoning

Relational analysis of (Co)inductive predicates, (Co)algebraic datatypes, and (Co)recursive functions

TAP'10 Proceedings of the 4th international conference on Tests and proofs

Some encounters on the productive use of a failed proof attempt or a counterexample

MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I

Generating counterexamples for structural inductions by exploiting nonstandard models

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning

Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions

Software Quality Control