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
AN - SCOPUS:78751683298
SN - 9780769540856
T3 - Proceedings - International Computer Software and Applications Conference
SP - 543
EP - 544
BT - Proceedings - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010
T2 - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010
Y2 - 19 July 2010 through 23 July 2020
ER -