A Practical Study of Debugging Using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hideto Ogawa' in GoogleThis author has not been identified. Look up 'Makoto Ichii' in GoogleThis author has not been identified. Look up 'Fumihiko Kumeno' in GoogleThis author has not been identified. Look up 'Toshiaki Aoki' in Google

runs on WebDSL