ICSE2011勉強会ログ（ハッシュタグ #sereading）

21-2 モデルへの操作で使われるモデル要素集合を，操作を実行することなく推定する．メタモデル上で操作の範囲を静的に判定して，関連するインスタンスを特定する． #sereading

2011-07-05 17:39:54

21-3 テストデータ生成で未到達箇所のできた原因を特定する．分岐条件と外部ライブラリ呼び出しやフィールド値との関係を分析する． #sereading

2011-07-05 17:46:01

05: Debugging the Surf（東工大・権藤研）

niyaton @niyaton

Angelic Debugging, Angelic Programming, Angelic Refactoring, Angelic Testing. #sereading

2011-07-05 17:49:51

5-1 バグの可能性がある箇所を特定し，修正候補を自動計算．修正候補は構文ではなく値のみ．テストケースと矛盾するコードは自動的に除外する．これは便利そう． #sereading

2011-07-05 17:51:22

kaz@33 @kaz_at_33

05-1 Angelic Debugging. 天使のようなデバッグごこち。 #sereading

2011-07-05 17:52:08

どのへんが Angelic だったんだろう…… #sereading

2011-07-05 17:52:57

騙されてはいけない．本来，天使はバグが無いように導いてくれるべきよね．RT @kaz_at_33: 05-1 Angelic Debugging. 天使のようなデバッグごこち。 #sereading

2011-07-05 17:55:13

niyaton @niyaton

ドキュメントはあてにならないというの結論はちょくちょく見かける #sereading

2011-07-05 17:55:24

5-2 各種Javaアプリで用いられているオプション値をソースから自動発見して，ドキュメントと比較．こんなに使われていないオプションがあるのか． #sereading

2011-07-05 17:56:47

05-2, 05-3みたいな内容でもICSE通るのね．なんだかちょっと意外．#sereading

2011-07-05 17:57:39

qwikにUST配信パスワードが出てたので，全然非公開になってなかった件について #sereading

2011-07-05 18:00:01

なんと． RT @tkobabo: qwikにUST配信パスワードが出てたので，全然非公開になってなかった件について #sereading

2011-07-05 18:00:46

Yuko Muto @yukomuto

テスト開発者の多くがビルド設定も行う #sereading

2011-07-05 18:01:56

kaz@33 @kaz_at_33

アップル製品をかじって堕落した僕にはバグ出さないなんて無理です (> <) RT @tkobabo: 騙されてはいけない．本来，天使はバグが無いように導いてくれるべきよね．#sereading

2011-07-05 18:03:12

カメラトラブル…… 音のみ配信してます #sereading

2011-07-05 18:06:21

uchan @uchan_nos

平日開催は、今回授業ないから参加できたけど。 #sereading

2011-07-05 18:09:46

niyaton @niyaton

平日開催だとM1以下の学生の参加が難しくなるのか #sereading

2011-07-05 18:12:46

運営お疲れさまでした． #sereading

2011-07-05 18:13:07

bang @bangbangbang

休みに被らなければ、有休とればいいかなぁ #sereading

2011-07-05 18:13:33

まつしん @shinsuke_mat

おもろかった，主催の方お疲れ様でした #sereading

2011-07-05 18:22:07

お疲れ様でした #sereading

2011-07-05 18:22:23

Yasutaka Kamei @yasutaka_kamei

お疲れ様でした #sereading

2011-07-05 18:24:01