PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code
初めにこの関数を呼んで次にこれを呼んで最後にあれを呼ぶ、といった暗黙知となっているようなルールを抽出するとともに、関数の呼び忘れみたいなルールに反すると思われるコードを検出する手法の論文。単純な方法では場合の数が爆発するので、frequent itemset mining を応用する。手法としては、パターンの抽出、ルールの生成、違反の検出の順で、前の 2 つに対して frequent itemset mining 特に FPclose を利用。基本的には関数内で呼び出す関数や利用する変数の名前に着目して関数ごとに解析するが、関数をまたがったルールに対応するために関数間解析も行う。
author="Zhenmin Li and Yuanyuan Zhou",
title="{PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code}",
booktitle="FSE'05",
publisher="ACM",
pages="306--315",
year="2005"