グループの説明
ICSTを中心に、ソフトウェアテストに関連する論文を輪読します。取り上げる論文の条件としては、ソフトウェアテストに関連していて、英語で、ピアレビュー通っているカンファレンスのプロシーデシング、もしくはジャーナルの論文とします。オープンなゼミといった形式で、毎回2〜3人が読んだ論文について発表して議論をしていきます。
ICSTを中心に、ソフトウェアテストに関連する論文を輪読します。取り上げる論文の条件としては、ソフトウェアテストに関連していて、英語で、ピアレビュー通っているカンファレンスのプロシーデシング、もしくはジャーナルの論文とします。オープンなゼミといった形式で、毎回2〜3人が読んだ論文について発表して議論をしていきます。
Model Checking and Verificationの一部紹介 #sigstj
ICST 2017 まるわかりDay!Introduction to ICST 2017 (「ICST2017概要」の元資料)
ICST 2017 まるわかりDay!ICST 2017 まるわかりDay! ベスト論文投票結果
ICST 2017 まるわかりDay!R01トラックまとめ
ICST 2017 まるわかりDay!基調講演 紹介
ICST 2017 まるわかりDay!Security Testingトラックの論文紹介
ICST 2017 まるわかりDay!ICST 2017 まるわかりDay! メモシート
ICST 2017 まるわかりDay!Keynote 2 - Helmut Veith
第2回SIGSTJ「ICST 2015 まるわかりDay」ICST2017に向けて
第2回SIGSTJ「ICST 2015 まるわかりDay」Static Analysis Track
第2回SIGSTJ「ICST 2015 まるわかりDay」