On Mon, Sep 28, 2009 at 3:28 PM, Andrew Coppin
wrote:
> Ben Franksen wrote:
>>
>> If it turns out that a
>> precise spec is unwieldy (too complex) then this is a hint that maybe it
>> is
>> not a good abstraction.
>
> Or your specification language is insufficient to describe it...
>
> (I don't kn
Ben Franksen wrote:
If it turns out that a
precise spec is unwieldy (too complex) then this is a hint that maybe it is
not a good abstraction.
Or your specification language is insufficient to describe it...
(I don't know about anybody else, but I find that when I use QC, about
75% of the bug
Yusaku Hashimoto wrote:
> So what I want to know is "how to find good properties." Please let me
> know how do you find QuickCheck properties. There are so many
> tutorials or papers for using QuickCheck, but when I try to apply them
> to my programming, I often miss properties in my codes.
Dijkst
