楠本研究室

業績一覧

ホーム業績一覧

MPAnalyzer: A Tool for Finding Unintended Inconsistencies in Program Source Code

MPAnalyzer: A Tool for Finding Unintended Inconsistencies in Program Source Code
Proc. of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE2014), pp.843-846 (2014)
タグ: code, finding, inconsistencies, mpanalyzer, program, source, tool, unintended
@inproceedings{YoshikiHigo2014,
  author = {Yoshiki Higo and Shinji Kusumoto},
  title = {MPAnalyzer: A Tool for Finding Unintended Inconsistencies in Program Source Code},
  booktitle = {Proc. of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE2014)},
  pages = {843--846},
  year = {2014},
  month = {sep}
}