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

Yoshitaka Aoki, Saeko Matsuura

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

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010
Pages543-544
Number of pages2
DOIs
Publication statusPublished - 2010 Dec 1
Event34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010 - Seoul, Korea, Republic of
Duration: 2010 Jul 192020 Jul 23

Publication series

NameProceedings - International Computer Software and Applications Conference
ISSN (Print)0730-3157

Conference

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

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'A method for detecting defects in source codes using model checking techniques'. Together they form a unique fingerprint.

  • Cite this

    Aoki, Y., & Matsuura, S. (2010). A method for detecting defects in source codes using model checking techniques. In Proceedings - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010 (pp. 543-544). [5676307] (Proceedings - International Computer Software and Applications Conference). https://doi.org/10.1109/COMPSAC.2010.61