メソッドの事前条件と事後条件 (およびクラス不変条件) に基づいて単体テストを自動的に生成するツールがあるかどうか疑問に思います。
正確には、メソッドの事前条件と事後条件 (およびおそらくクラス不変条件) が与えられ、その情報に基づいて単体テストを生成したいとします。この目的のための実用的なツールを探しています。
Korat と TestWizard は知っています。いくつかのテクニック/ツールを挙げていただけますか?
PS: プログラミング言語、またはメソッド コントラクトを指定するために使用する言語は、それほど重要ではありません。知りたいのはテクニックだけです。
ありがとうございました。