netail.net(2006-11-17)自作フリーソフトや，ゲームに関する雑記を公開してます． 日記はソフトウェア工学の論文ネタが中心です． _ [論文] プログラムの条件分岐を無理やり変更してデバッグ ▲ Xiangyu Zhang, Neelam Gupta, Rajiv Gupta: Locating Faults Through Automated Predicate Switching. ICSE 2006, pp.272-281. プログラム実行中のある時点でデータに誤りが発生した場合，それはそこまでの実行経路に問題がある．直前ないし近い位置の分岐で別方向に進んでいたらプログラムはうまく動いていたかもしれない．だから，そういう条件分岐（"critical predicate"）がもしあるのなら自動的に見つけよう，という論文です． critical predicate が見つかれば，入力変数から critical pr
