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

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

研究成果: Conference contribution

2 引用 (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
Italy
Naples
期間14/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' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Matsuura, S., Aoki, Y., & Ogata, S. (2014). Practical behavioral inconsistency detection between source code and specification using model checking. : Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 (pp. 124-125). [6983818] (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISSREW.2014.39