@article{KKK11, author={M.~Kim and Y.~Kim and H.~Kim}, title="Comparative Study on Software Model Checkers as Unit Testing Tools: An Industrial Case Study", journal="IEEE Transactions on Software Engineering", volume=37, number=2, pages="146-160", year=2011, month="March" }