Practical behavioral inconsistency detection between source code and specification using model checking

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

To achieve practical use of model checking, we propose a method to find the discrepancy between the behavior of the source code and the specifications written in UML by using a decision table.

本文言語English
ホスト出版物のタイトルProceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
出版社Institute of Electrical and Electronics Engineers Inc.
ページ124-125
ページ数2
ISBN(電子版)9781479973774
DOI
出版ステータスPublished - 2014 12 12
イベント25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples, Italy
継続期間: 2014 11 32014 11 6

出版物シリーズ

名前Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

Conference

Conference25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
CountryItaly
CityNaples
Period14/11/314/11/6

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

フィンガープリント 「Practical behavioral inconsistency detection between source code and specification using model checking」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル