A Method for Detecting Defects in Source Codes Using Model Checking Techniques
Yoshitaka Aoki, Saeko Matsuura · 2010
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.