Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki. A Practical Study of Debugging Using Model Checking. In 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013. pages 134-139, IEEE, 2013. [doi]
Abstract is missing.