気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
1user
がブックマーク
0
0
形式仕様からproperty based testsを自動生成する試みについてRubyKaigi 2026で発表しました - valid,invalid
1 user
ohbarye.hatenablog.jp
ohbarye.hatenablog.jp
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
形式仕様からproperty based testsを自動生成する試みについてRubyKaigi 2026で発表しました - valid,invalid
表題の通り、形式仕様からproperty based testsを自動生成する試みについてRubyKaigi 2026で発表してき... 表題の通り、形式仕様からproperty based testsを自動生成する試みについてRubyKaigi 2026で発表してきました。 発表内容について "From Formal Specification to Property Based Test"という題で、2024年のRubyKaigiで発表したpbt gemを発展させ、形式仕様から決定論的にproperty based testsを生成するアプローチについて語りました。 発表内で見せたデモはYouTubeにuploadしてあります。見逃した方やもう一度見たい方は以下からどうぞ。 www.youtube.com www.youtube.com 発表に至った経緯 アイデア自体は長らく ~放置していた~ 暖めていたものです。AI時代の開発ではコーディングエージェントに明確なゴールを与え、達成を検証できるような環境づくりが重要だとい
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
ohbarye.hatenablog.jp
ohbarye.hatenablog.jp
ohbarye.hatenablog.jp
ohbarye.hatenablog.jp
anond.hatelabo.jp
www.huffingtonpost.jp
togetter.com
www.nikkan-gendai.com
takagi-hiromitsu.jp
www.gdm.or.jp
www.sbbit.jp
nowokay.hatenablog.com
coliss.com
depthfirst.com
tech-blog.monotaro.com
pc.watch.impress.co.jp
www.newsweekjapan.jp/articles
www.allcinema.net
share.google
toyokeizai.net
www.e-aidem.com
levtech.jp
suumo.jp
levtech.jp
