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

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages124-125
Number of pages2
ISBN (Electronic)9781479973774
DOIs
Publication statusPublished - 2014 Dec 12
Event25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples, Italy
Duration: 2014 Nov 32014 Nov 6

Publication series

NameProceedings - 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

    Fingerprint

Keywords

  • Model checking
  • UML-based specification
  • Verification method of source code

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Matsuura, S., Aoki, Y., & Ogata, S. (2014). Practical behavioral inconsistency detection between source code and specification using model checking. In 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