A method for detecting defects in source codes using model checking techniques

Yoshitaka Aoki, Saeko Matsuura

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

This paper proposes a method of detecting troublesome defects in the Java source codes for enterprise systems using a model checking technique. A supporting tool also provides a function to automatically translate source code into a model which is simulated by UPPAAL model checker.

本文言語English
ホスト出版物のタイトルProceedings - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010
ページ543-544
ページ数2
DOI
出版ステータスPublished - 2010
イベント34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010 - Seoul, Korea, Republic of
継続期間: 2010 7 192020 7 23

出版物シリーズ

名前Proceedings - International Computer Software and Applications Conference
ISSN(印刷版)0730-3157

Conference

Conference34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010
国/地域Korea, Republic of
CitySeoul
Period10/7/1920/7/23

ASJC Scopus subject areas

  • ソフトウェア
  • コンピュータ サイエンスの応用

フィンガープリント

「A method for detecting defects in source codes using model checking techniques」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル