DocumentCode
1863429
Title
A Method for Detecting Defects in Source Codes Using Model Checking Techniques
Author
Aoki, Yoshitaka ; Matsuura, Saeko
Author_Institution
Grad. Sch. of Eng., Shibaura Inst. Technol., Japan
fYear
2010
fDate
19-23 July 2010
Firstpage
543
Lastpage
544
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.
Keywords
Java; formal verification; source coding; Java source code; UPPAAL; defect detection; model checking; source code translate; Analytical models; Business; Computational modeling; Inspection; Java; Software; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual
Conference_Location
Seoul
ISSN
0730-3157
Print_ISBN
978-1-4244-7512-4
Electronic_ISBN
0730-3157
Type
conf
DOI
10.1109/COMPSAC.2010.61
Filename
5676307
Link To Document