IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns

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

Abstract

Embracing uncertainty in software development is one of the crucial research topics in software engineering. In most projects, we have to deal with uncertain concerns by using informal ways such as documents, mailing lists, or issue tracking systems. This task is tedious and error-prone. Especially, uncertainty in programming is one of the challenging issues to be tackled, because it is difficult to verify the correctness of a program when there are uncertain user requirements, unfixed design choices, and alternative algorithms. This paper proposes iArch-U/MC, an uncertainty-aware model checker for verifying whether or not some important properties are guaranteed even if Known Unknowns remain in a program. Our tool is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in.

Original languageEnglish
Title of host publicationICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies
EditorsLeszek Maciaszek, Leszek Maciaszek, Marten van Sinderen
PublisherSciTePress
Pages176-184
Number of pages9
ISBN (Electronic)9789897583209
Publication statusPublished - Jan 1 2019
Event13th International Conference on Software Technologies, ICSOFT 2018 - Porto, Portugal
Duration: Jul 26 2018Jul 28 2018

Publication series

NameICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies

Conference

Conference13th International Conference on Software Technologies, ICSOFT 2018
CountryPortugal
CityPorto
Period7/26/187/28/18

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications

Fingerprint Dive into the research topics of 'IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns'. Together they form a unique fingerprint.

  • Cite this

    Ubayashi, N., Kamei, Y., & Sato, R. (2019). IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns. In L. Maciaszek, L. Maciaszek, & M. van Sinderen (Eds.), ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies (pp. 176-184). (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies). SciTePress.