A Practical Study of Debugging Using Model Checking.

Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki

Browse the full APSEC paper archive.