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

1 Citation (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 - International Computer Software and Applications Conference
Pages543-544
Number of pages2
DOIs
Publication statusPublished - 2010
Event34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010 - Seoul
Duration: 2010 Jul 192020 Jul 23

Other

Other34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010
CitySeoul
Period10/7/1920/7/23

Fingerprint

Model checking
Defects
Industry

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Cite this

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

A method for detecting defects in source codes using model checking techniques. / Aoki, Yoshitaka; Matsuura, Saeko.

Proceedings - International Computer Software and Applications Conference. 2010. p. 543-544 5676307.

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

Aoki, Y & Matsuura, S 2010, A method for detecting defects in source codes using model checking techniques. in Proceedings - International Computer Software and Applications Conference., 5676307, pp. 543-544, 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, 10/7/19. https://doi.org/10.1109/COMPSAC.2010.61
Aoki Y, Matsuura S. A method for detecting defects in source codes using model checking techniques. In Proceedings - International Computer Software and Applications Conference. 2010. p. 543-544. 5676307 https://doi.org/10.1109/COMPSAC.2010.61
Aoki, Yoshitaka ; Matsuura, Saeko. / A method for detecting defects in source codes using model checking techniques. Proceedings - International Computer Software and Applications Conference. 2010. pp. 543-544
@inproceedings{74d2c5b715e84f1dabce7d8e4ff2dfae,
title = "A method for detecting defects in source codes using model checking techniques",
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.",
author = "Yoshitaka Aoki and Saeko Matsuura",
year = "2010",
doi = "10.1109/COMPSAC.2010.61",
language = "English",
isbn = "9780769540856",
pages = "543--544",
booktitle = "Proceedings - International Computer Software and Applications Conference",

}

TY - GEN

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

AU - Aoki, Yoshitaka

AU - Matsuura, Saeko

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=78751683298&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78751683298&partnerID=8YFLogxK

U2 - 10.1109/COMPSAC.2010.61

DO - 10.1109/COMPSAC.2010.61

M3 - Conference contribution

SN - 9780769540856

SP - 543

EP - 544

BT - Proceedings - International Computer Software and Applications Conference

ER -