Teralizer: ユニットテストからプロパティベーステストへの自動変換

この研究は、ソフトウェアの品質を向上させ、テストの労力を削減する可能性のある、自動テスト生成への価値あるアプローチを探求しています。 ユニットテストからプロパティベーステストへのセマンティックベースのテスト一般化は、ソフトウェアテストの効率を向上させる有望な分野です。